|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ILits
Field Summary | |
---|---|
static int |
UNDEFINED
|
Method Summary | |
---|---|
boolean |
belongsToPool(int x)
Returns true iff the variable is used in the set of constraints. |
void |
ensurePool(int howmany)
|
int |
getFromPool(int x)
Translates a Dimacs literal into an internal representation literal. |
int |
getLevel(int lit)
|
Constr |
getReason(int lit)
|
void |
init(int nvar)
|
boolean |
isFalsified(int lit)
|
boolean |
isImplied(int lit)
|
boolean |
isSatisfied(int lit)
|
boolean |
isUnassigned(int lit)
|
int |
not(int lit)
|
int |
nVars()
to obtain the max id of the variable |
int |
realnVars()
to obtain the real number of variables appearing in the formula |
void |
reset(int lit)
|
void |
resetPool()
|
void |
satisfies(int lit)
|
void |
setLevel(int lit,
int l)
|
void |
setReason(int lit,
Constr r)
|
void |
unassign(int lit)
|
IVec<Undoable> |
undos(int lit)
|
java.lang.String |
valueToString(int lit)
|
void |
watch(int lit,
Propagatable c)
|
IVec<Propagatable> |
watches(int lit)
|
Field Detail |
---|
static final int UNDEFINED
Method Detail |
---|
void init(int nvar)
int getFromPool(int x)
x
- the Dimacs literal (a non null integer).
boolean belongsToPool(int x)
x
-
void resetPool()
void ensurePool(int howmany)
void unassign(int lit)
void satisfies(int lit)
boolean isSatisfied(int lit)
boolean isFalsified(int lit)
boolean isUnassigned(int lit)
boolean isImplied(int lit)
lit
-
int nVars()
int realnVars()
int not(int lit)
void reset(int lit)
int getLevel(int lit)
void setLevel(int lit, int l)
Constr getReason(int lit)
void setReason(int lit, Constr r)
IVec<Undoable> undos(int lit)
void watch(int lit, Propagatable c)
IVec<Propagatable> watches(int lit)
lit
- a literal
java.lang.String valueToString(int lit)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |