edu.wis.jtlv.env.core.smv.eval
Class AbstractElement

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.eval.AbstractElement
Direct Known Subclasses:
AbstractBinaryOperator, AbstractUnaryOperator, OpCond, ValueStmt

public abstract class AbstractElement
extends java.lang.Object


Constructor Summary
AbstractElement(AbstractElement[] children)
           
 
Method Summary
abstract  java.lang.String elemToString()
           
abstract  java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AbstractElement

public AbstractElement(AbstractElement[] children)
Method Detail

elemToString

public abstract java.lang.String elemToString()

toString

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