edu.toronto.cs.ctl
Class CTLAtomPropNode

java.lang.Object
  extended by edu.toronto.cs.ctl.CTLAbstractNode
      extended by edu.toronto.cs.ctl.CTLLeafNode
          extended by edu.toronto.cs.ctl.CTLAtomPropNode
All Implemented Interfaces:
CTLNode

public class CTLAtomPropNode
extends CTLLeafNode

This is an atomic CTL node.


Field Summary
 
Fields inherited from class edu.toronto.cs.ctl.CTLAbstractNode
EMPTY_ARRAY
 
Constructor Summary
protected CTLAtomPropNode()
           
protected CTLAtomPropNode(java.lang.String _name)
          Construct an atomic CTL node from a name and value
protected CTLAtomPropNode(java.lang.String _name, MvSet value)
           
 
Method Summary
 java.lang.Object accept(CTLVisitor v, java.lang.Object s)
           
 boolean equals(CTLAtomPropNode node)
           
 boolean equals(java.lang.Object o)
          Overrides the Object's equals method.
 MvSet getMvSet()
           
 java.lang.String getName()
           
 int hashCode()
           
 void setMvSet(MvSet v)
           
protected  void setName(java.lang.String d)
           
 java.lang.String toString()
           
 
Methods inherited from class edu.toronto.cs.ctl.CTLLeafNode
getLeft, getRight, setLeft, setRight
 
Methods inherited from class edu.toronto.cs.ctl.CTLAbstractNode
af, af, ag, ag, and, ar, au, au, aw, ax, ef, eg, eg, eq, er, eu, eu, ew, ex, getFairness, iff, impliedBy, implies, neg, objectHashCode, or, over, preEX, toString, under
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CTLAtomPropNode

protected CTLAtomPropNode()

CTLAtomPropNode

protected CTLAtomPropNode(java.lang.String _name)
Construct an atomic CTL node from a name and value


CTLAtomPropNode

protected CTLAtomPropNode(java.lang.String _name,
                          MvSet value)
Method Detail

getName

public java.lang.String getName()

setName

protected void setName(java.lang.String d)

getMvSet

public MvSet getMvSet()

setMvSet

public void setMvSet(MvSet v)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

accept

public java.lang.Object accept(CTLVisitor v,
                               java.lang.Object s)
Specified by:
accept in interface CTLNode
Overrides:
accept in class CTLAbstractNode

equals

public boolean equals(java.lang.Object o)
Description copied from class: CTLAbstractNode
Overrides the Object's equals method.

Overrides:
equals in class CTLAbstractNode

equals

public boolean equals(CTLAtomPropNode node)

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object