Uses of Class
edu.toronto.cs.boolpg.parser.VariableTable.StateVariable

Packages that use VariableTable.StateVariable
edu.toronto.cs.boolpg.parser   
 

Uses of VariableTable.StateVariable in edu.toronto.cs.boolpg.parser
 

Methods in edu.toronto.cs.boolpg.parser that return VariableTable.StateVariable
 VariableTable.StateVariable VariableTable.declarePropositional(java.lang.String name)
          Describe declarePropositional method here.
 

Methods in edu.toronto.cs.boolpg.parser with parameters of type VariableTable.StateVariable
 MvSet VariableTable.StateVariable.eq(VariableTable.StateVariable v)