edu.toronto.cs.boolpg.parser
Class VariableTable.ProcessCounter

java.lang.Object
  extended by edu.toronto.cs.boolpg.parser.VariableTable.Variable
      extended by edu.toronto.cs.boolpg.parser.VariableTable.ProcessCounter
Enclosing class:
VariableTable

public class VariableTable.ProcessCounter
extends VariableTable.Variable


Field Summary
 
Fields inherited from class edu.toronto.cs.boolpg.parser.VariableTable.Variable
NAME_SUFFIX
 
Constructor Summary
VariableTable.ProcessCounter()
           
 
Method Summary
 MvSet eq(MvSet v)
           
 MvSet eq(java.lang.String v)
           
 MvSet eq(VariableTable.Variable v)
           
 MvSet eqShadow(int i)
           
 CTLNode toCTL(AlgebraValue[] state)
           
 
Methods inherited from class edu.toronto.cs.boolpg.parser.VariableTable.Variable
getName, getShadow, getShadows, isShadow, setShadows, size, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

VariableTable.ProcessCounter

public VariableTable.ProcessCounter()
Method Detail

toCTL

public CTLNode toCTL(AlgebraValue[] state)
Specified by:
toCTL in class VariableTable.Variable

eq

public MvSet eq(VariableTable.Variable v)
Specified by:
eq in class VariableTable.Variable

eq

public MvSet eq(MvSet v)
Specified by:
eq in class VariableTable.Variable

eq

public MvSet eq(java.lang.String v)
Specified by:
eq in class VariableTable.Variable

eqShadow

public MvSet eqShadow(int i)
Specified by:
eqShadow in class VariableTable.Variable