|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectsatisfiabilityApplet.cnfParser.Variable
by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 10:50:01 AM CS 180H
Method Summary | |
static void |
clearAllValues()
Clears all set variables, sets values to null |
java.lang.Object |
clone()
|
static Variable |
createSymbol(java.lang.String s)
If this symbol doesn't already exist, this creates a new symbol, adds it to the clauseList of exisiting symbols, and returns it. |
void |
destructor()
Destructor method will properly delete this symbol instance |
boolean |
equals(Variable sym)
|
boolean |
getBooleanValue()
|
static java.util.ArrayList |
getVariableList()
|
static boolean |
isNext(java.util.List tokens)
|
boolean |
isSet()
This variable has a set truth value |
java.lang.String |
name()
|
void |
setBooleanValue(boolean value)
|
java.lang.String |
toString()
|
void |
unSetBooleanValue()
|
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
public static Variable createSymbol(java.lang.String s) throws ParseError
s
- a string representing the symbol
ParseError
public static boolean isNext(java.util.List tokens)
public static void clearAllValues()
public boolean isSet()
public java.lang.String name()
public java.lang.Object clone()
public boolean equals(Variable sym)
public boolean getBooleanValue() throws BooleanValueNotSet
BooleanValueNotSet
public void setBooleanValue(boolean value)
public void unSetBooleanValue()
public static java.util.ArrayList getVariableList()
public void destructor()
public java.lang.String toString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |