|
SugarTrace version 1.0.1 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsugartracer.decoder.Assignment
public class Assignment
Maintains assignment on a SAT instance under solving.
Constructor Summary | |
---|---|
Assignment()
|
Method Summary | |
---|---|
Boolean |
get(int i)
Returns the Boolean value of i-th propositional variable. |
Boolean |
getLit(int lit)
Returns the Boolean value of the literal lit. |
boolean |
isDefined(int i)
Returns true when i-th propositional variable is defined. |
boolean |
isDefinedLit(int lit)
Returns true when the literal lit is defined. |
void |
set(int i,
boolean val)
Sets the value of i-th propositional variable. |
void |
setLit(int lit)
Sets the value of the literal lit to be true. |
void |
unset(int i)
Sets i-th propositional variable undefined. |
void |
unsetLit(int lit)
Sets the literal lit undefined. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Assignment()
Method Detail |
---|
public boolean isDefined(int i)
i
- index of the propositional variable to be checked
public Boolean get(int i)
i
- index of the propositional variable to be checked
public void set(int i, boolean val)
i
- index of the propositional variable to be setval
- the value to be setpublic void unset(int i)
i
- index of the propositional variable to be unsetpublic boolean isDefinedLit(int lit)
lit
- literal
public Boolean getLit(int lit)
lit
- literal
public void setLit(int lit)
lit
- the literal to be setpublic void unsetLit(int lit)
lit
- the literal to be unset
|
SugarTrace version 1.0.1 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |