satisfiabilityApplet.cnfParser
Class VariableModified

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

public class VariableModified
extends java.lang.Object
implements java.lang.Cloneable

by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 10:50:01 AM CS 180H


Constructor Summary
VariableModified(java.lang.String s)
           
 
Method Summary
static void clearAllValues()
          Clears all set variables, sets values to null
 java.lang.Object clone()
           
static VariableModified 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(VariableModified 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
 

Constructor Detail

VariableModified

public VariableModified(java.lang.String s)
Method Detail

createSymbol

public static VariableModified createSymbol(java.lang.String s)
                                     throws 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:
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(VariableModified sym)

getBooleanValue

public boolean getBooleanValue()
                        throws BooleanValueNotSet
Throws:
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()