Class satisfiabilityApplet.cnfParser.Variable

java.lang.Object
  extended bysatisfiabilityApplet.cnfParser.Variable
All Implemented Interfaces:
java.lang.Cloneable

public class satisfiabilityApplet.cnfParser.Variable
extends java.lang.Object
implements java.lang.Cloneable

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 satisfiabilityApplet.cnfParser.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(satisfiabilityApplet.cnfParser.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

createSymbol

public static satisfiabilityApplet.cnfParser.Variable createSymbol(java.lang.String s)
                             throws satisfiabilityApplet.cnfParser.ParseError
If this symbol doesn't already exist, this creates a new symbol, adds it to the clauseList of exisiting symbols, and returns it. If this symbol already exists, this returns the exisiting symbol.

Parameters:
s - a string representing the symbol
Returns:
the satisfiabilityApplet.cnfParser.Variable representation of s
Throws:
satisfiabilityApplet.cnfParser.ParseError

isNext

public static boolean isNext(java.util.List tokens)

clearAllValues

public static void clearAllValues()
Clears all set variables, sets values to null


isSet

public boolean isSet()
This variable has a set truth value

Returns:

name

public java.lang.String name()

clone

public java.lang.Object clone()

equals

public boolean equals(satisfiabilityApplet.cnfParser.Variable sym)

getBooleanValue

public boolean getBooleanValue()
                        throws satisfiabilityApplet.cnfParser.BooleanValueNotSet
Throws:
satisfiabilityApplet.cnfParser.BooleanValueNotSet

setBooleanValue

public void setBooleanValue(boolean value)

unSetBooleanValue

public void unSetBooleanValue()

getVariableList

public static java.util.ArrayList getVariableList()

destructor

public void destructor()
Destructor method will properly delete this symbol instance


toString

public java.lang.String toString()