edu.toronto.cs.ctl
Class CTLConstantNode

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

public class CTLConstantNode
extends CTLLeafNode

This is a CTL node representing a lattice value.


Field Summary
 
Fields inherited from class edu.toronto.cs.ctl.CTLAbstractNode
EMPTY_ARRAY
 
Constructor Summary
protected CTLConstantNode(AlgebraValue _value)
          Construct a lattice node from the index of the lattice value and the lattice itself.
 
Method Summary
 java.lang.Object accept(CTLVisitor v, java.lang.Object s)
           
 boolean equals(CTLConstantNode node)
           
 boolean equals(java.lang.Object o)
          Overrides the Object's equals method.
 AlgebraValue getValue()
           
 int hashCode()
           
 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

CTLConstantNode

protected CTLConstantNode(AlgebraValue _value)
Construct a lattice node from the index of the lattice value and the lattice itself.

Method Detail

toString

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

getValue

public AlgebraValue getValue()

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(CTLConstantNode node)

hashCode

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