|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IEnvironment
Field Summary | |
---|---|
static Logger |
LOGGER
Reference to an object for logging trace statements related memory & backtrack (using the java.util.logging package) |
Method Summary | ||
---|---|---|
void |
clear()
Clear the entire internal structures |
|
void |
createSharedBipartiteSet(int size)
Build a shared bipartite set |
|
int |
getNextOffset()
Return the next free bit in the shared StoredBitSetVector object |
|
IStateIntVector |
getSharedBipartiteSetForBooleanVars()
Factory pattern : shared IStateIntVector object is return by the environment |
|
int |
getWorldIndex()
Returns the world number. |
|
void |
increaseSizeOfSharedBipartiteSet(int gap)
Increase the size of the shared bi partite set, it HAS to be called before the end of the environment creation BEWARE: be sure you are correctly calling this method |
|
IStateBinaryTree |
makeBinaryTree(int inf,
int sup)
|
|
IStateIntVector |
makeBipartiteIntList(int[] entries)
|
|
IStateIntVector |
makeBipartiteSet(ArrayList<IndexedObject> entries)
|
|
IStateIntVector |
makeBipartiteSet(IndexedObject[] entries)
|
|
IStateIntVector |
makeBipartiteSet(int nbEntries)
|
|
IStateIntVector |
makeBipartiteSet(int[] entries)
|
|
IStateBitSet |
makeBitSet(int size)
Factory pattern: new IStateBitSet objects are created by the environment |
|
IStateBool |
makeBool(boolean initialValue)
Factory pattern: new IStateBool objects are created by the environment |
|
IStateDoubleVector |
makeDoubleVector()
Factory pattern: new IStateDoubleVector objects are created by the environment. |
|
IStateDoubleVector |
makeDoubleVector(double[] entries)
Factory pattern: new IStateDoubleVector objects are created by the environment |
|
IStateDoubleVector |
makeDoubleVector(int size,
double initialValue)
Factory pattern: new IStateDoubleVector objects are created by the environment |
|
IStateDouble |
makeFloat()
Factory pattern: new StoredFloat objects are created by the environment (no initial value is assigned to the backtrackable search) |
|
IStateDouble |
makeFloat(double initialValue)
Factory pattern: new StoredFloat objects are created by the environment |
|
IStateInt |
makeInt()
Factory pattern: new IStateInt objects are created by the environment (no initial value is assigned to the backtrackable search) |
|
IStateInt |
makeInt(int initialValue)
Factory pattern: new IStateInt objects are created by the environment |
|
IntInterval |
makeIntInterval(int lowB,
int upB)
Factory pattern : new IntInterval objects are created by the environment |
|
IStateInt |
makeIntProcedure(IStateIntProcedure procedure,
int initialValue)
Factory pattern : new IStateInt with procedure objects are created by the environment |
|
IStateIntVector |
makeIntVector()
Factory pattern: new IStateIntVector objects are created by the environment. |
|
IStateIntVector |
makeIntVector(int[] entries)
Factory pattern: new IStateIntVector objects are created by the environment |
|
IStateIntVector |
makeIntVector(int size,
int initialValue)
Factory pattern: new IStateIntVector objects are created by the environment |
|
IStateLong |
makeLong()
|
|
IStateLong |
makeLong(int init)
|
|
IStateLongVector |
makeLongVector()
Factory pattern: new IStateIntVector objects are created by the environment. |
|
IStateLongVector |
makeLongVector(int size,
long initialValue)
Factory pattern: new IStateIntVector objects are created by the environment |
|
IStateLongVector |
makeLongVector(long[] entries)
Factory pattern: new IStateIntVector objects are created by the environment |
|
IStateObject |
makeObject(Object obj)
|
|
PartiallyStoredIntVector |
makePartiallyStoredIntVector()
Factory pattern : create a new partially stored int vector via the environment. |
|
|
makePartiallyStoredVector()
Factory pattern : create a new partially stored vector via the environment. |
|
|
makeStoredBipartiteList(Collection<E> coll)
|
|
|
makeStoredBipartiteList(E[] elm)
|
|
|
makeVector()
Factory pattern: new IStateVector objects are created by the environment. |
|
void |
worldCommit()
Comitting the current world: merging it with the previous one. |
|
void |
worldPop()
Backtracks to the previous choice point in the search tree. |
|
void |
worldPush()
Starts a new branch in the search tree. |
Field Detail |
---|
static final Logger LOGGER
Method Detail |
---|
int getWorldIndex()
void worldPush()
void worldPop()
void worldCommit()
void clear()
IStateInt makeInt()
IStateInt makeInt(int initialValue)
initialValue
- the initial value of the backtrackable integer
IntInterval makeIntInterval(int lowB, int upB)
lowB
- intitial lower boundupB
- intial upper bound
IStateInt makeIntProcedure(IStateIntProcedure procedure, int initialValue)
procedure
- the procedure to applyinitialValue
- the intial value of the integer
IStateBool makeBool(boolean initialValue)
initialValue
- the initial value of the backtrackable boolean
IStateIntVector makeIntVector()
IStateIntVector makeIntVector(int size, int initialValue)
size
- the number of entries in the vectorinitialValue
- the common initial value for all entries (backtrackable integers)
IStateIntVector makeIntVector(int[] entries)
entries
- an array to be copied as set of initial contents of the vector
IStateLongVector makeLongVector()
IStateLongVector makeLongVector(int size, long initialValue)
size
- the number of entries in the vectorinitialValue
- the common initial value for all entries (backtrackable integers)
IStateLongVector makeLongVector(long[] entries)
entries
- an array to be copied as set of initial contents of the vector
IStateDoubleVector makeDoubleVector()
IStateDoubleVector makeDoubleVector(int size, double initialValue)
size
- the number of entries in the vectorinitialValue
- the common initial value for all entries (backtrackable integers)
IStateDoubleVector makeDoubleVector(double[] entries)
entries
- an array to be copied as set of initial contents of the vector
<T> IStateVector<T> makeVector()
<T> PartiallyStoredVector<T> makePartiallyStoredVector()
T
- object to store
PartiallyStoredIntVector makePartiallyStoredIntVector()
IStateBitSet makeBitSet(int size)
size
- initail size of the IStateBitSet
void createSharedBipartiteSet(int size)
size
- size of the bi partite setIStateIntVector getSharedBipartiteSetForBooleanVars()
void increaseSizeOfSharedBipartiteSet(int gap)
gap
- the gap the reach the expected sizeint getNextOffset()
<E> StoredBipartiteSet makeStoredBipartiteList(Collection<E> coll)
<E> StoredBipartiteSet makeStoredBipartiteList(E[] elm)
IStateIntVector makeBipartiteIntList(int[] entries)
IStateIntVector makeBipartiteSet(int[] entries)
IStateIntVector makeBipartiteSet(int nbEntries)
IStateIntVector makeBipartiteSet(IndexedObject[] entries)
IStateIntVector makeBipartiteSet(ArrayList<IndexedObject> entries)
IStateDouble makeFloat()
IStateLong makeLong()
IStateLong makeLong(int init)
IStateDouble makeFloat(double initialValue)
initialValue
- the initial value of the backtrackable searchIStateBinaryTree makeBinaryTree(int inf, int sup)
IStateObject makeObject(Object obj)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |