public abstract class AbstractEnvironment extends Object implements IEnvironment
Modifier and Type | Field and Description |
---|---|
protected int |
currentWorld |
protected int |
timestamp |
Modifier | Constructor and Description |
---|---|
protected |
AbstractEnvironment() |
Modifier and Type | Method and Description |
---|---|
void |
buildFakeHistoryOn(ICondition condition)
Force to build fake history when a stored object on a particular condition.
|
boolean |
fakeHistoryNeeded() |
BasicIndexedBipartiteSet |
getSharedBipartiteSetForBooleanVars()
Factory pattern : shared StoredBitSetVector objects is return by the environment
|
int |
getTimeStamp()
Return the current time stamp.
|
int |
getWorldIndex()
Returns the world number.
|
IStateBitSet |
makeBitSet(int size)
Factory pattern: new IStateBitSet objects are created by the environment
|
void |
worldPopUntil(int w)
Backtracks to the
w previous choice point in the tree search |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
makeBool, makeDoubleVector, makeFloat, makeFloat, makeInt, makeInt, makeIntVector, makeLong, makeLong, save, worldCommit, worldPop, worldPush
public final int getWorldIndex()
IEnvironment
getWorldIndex
in interface IEnvironment
public final int getTimeStamp()
IEnvironment
getTimeStamp
in interface IEnvironment
public IStateBitSet makeBitSet(int size)
makeBitSet
in interface IEnvironment
size
- initial size of the IStateBitSetpublic void worldPopUntil(int w)
w
previous choice point in the tree searchworldPopUntil
in interface IEnvironment
w
- world index to pop topublic final BasicIndexedBipartiteSet getSharedBipartiteSetForBooleanVars()
getSharedBipartiteSetForBooleanVars
in interface IEnvironment
public boolean fakeHistoryNeeded()
fakeHistoryNeeded
in interface IEnvironment
public void buildFakeHistoryOn(ICondition condition)
IEnvironment
ICondition.FALSE
.buildFakeHistoryOn
in interface IEnvironment
condition
- to satisfy to build fake historyCopyright © 2018. All rights reserved.