edu.toronto.cs.ctl
Class CTLMvSetNode

java.lang.Object
  extended by edu.toronto.cs.ctl.CTLAbstractNode
      extended by edu.toronto.cs.ctl.CTLLeafNode
          extended by edu.toronto.cs.ctl.CTLMvSetNode
All Implemented Interfaces:
CTLNode
Direct Known Subclasses:
CTLTransitionNode

public class CTLMvSetNode
extends CTLLeafNode

This is a CTL node representing an MvSet.


Field Summary
 
Fields inherited from class edu.toronto.cs.ctl.CTLAbstractNode
EMPTY_ARRAY
 
Constructor Summary
protected CTLMvSetNode(MvSet set)
          Construct a CTL node associated with a particular MvSet.
 
Method Summary
 java.lang.Object accept(CTLVisitor visitor, java.lang.Object stateinfo)
           
 boolean equals(CTLMvSetNode node)
           
 boolean equals(java.lang.Object o)
          Overrides the Object's equals method.
 MvSet getMvSet()
           
 java.lang.String getName()
           
 int hashCode()
           
 void setName(java.lang.String v)
           
 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

CTLMvSetNode

protected CTLMvSetNode(MvSet set)
Construct a CTL node associated with a particular MvSet.

Method Detail

setName

public void setName(java.lang.String v)

getName

public java.lang.String getName()

toString

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

getMvSet

public MvSet getMvSet()

accept

public java.lang.Object accept(CTLVisitor visitor,
                               java.lang.Object stateinfo)
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(CTLMvSetNode node)

hashCode

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