de.stups.probkodkod

Class Problem.CalculatedIntegerAtoms

java.lang.Object

de.stups.probkodkod.Problem.CalculatedIntegerAtoms

Enclosing class:

Problem

public static class Problem.CalculatedIntegerAtoms
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Problem.CalculatedIntegerAtoms(int numberOffset, int[] numbers, java.lang.Integer bitwidth)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Integer	getBitwidth()
int	getNumberOffset()
int[]	getNumbers()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Problem.CalculatedIntegerAtoms

public Problem.CalculatedIntegerAtoms(int numberOffset,
                              int[] numbers,
                              java.lang.Integer bitwidth)

Method Detail

getNumberOffset

public int getNumberOffset()

getNumbers

public int[] getNumbers()

getBitwidth

public java.lang.Integer getBitwidth()