|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectsatisfiabilityApplet.cnfParser.Literal
by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 10:45:22 AM CS 180H
Constructor Summary | |
Literal(java.util.List tokens)
|
Method Summary | |
java.lang.Object |
clone()
|
void |
convert()
Mutator method that will effectively convert a DNF entry into its negated CNF form by switching the "not" status of all the variables |
void |
destructor()
|
boolean |
getBooleanValue()
The assigned Boolean value of this literal. |
boolean |
isNegative()
|
static boolean |
isNext(java.util.List tokens)
|
boolean |
isSet()
This literal's variable has a set value |
void |
setToFalse()
Sets the value of this literal to false, (as a consequence, all instances of the variable contained will be set) |
void |
setToTrue()
Sets the value of this literal to true, (as a consequence, all instances of the variable contained will be set) |
Variable |
symbol()
|
java.lang.String |
toPolynomial()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public Literal(java.util.List tokens) throws ParseError
Method Detail |
public static boolean isNext(java.util.List tokens)
public Variable symbol()
public boolean isNegative()
public boolean getBooleanValue() throws BooleanValueNotSet
BooleanValueNotSet
- no boolean value has been assignedpublic void convert()
public void setToTrue()
public void setToFalse()
public boolean isSet()
public java.lang.Object clone()
public void destructor()
public java.lang.String toPolynomial()
public java.lang.String toString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |