edu.wis.jtlv.env.core.spec
Class InternalSpecExp

java.lang.Object
  extended by edu.wis.jtlv.env.core.spec.InternalSpec
      extended by edu.wis.jtlv.env.core.spec.InternalSpecExp

public class InternalSpecExp
extends InternalSpec


Field Summary
 
Fields inherited from class edu.wis.jtlv.env.core.spec.InternalSpec
evalBDDs, tend, tstart
 
Constructor Summary
InternalSpecExp(InternalOp op, InternalSpec e1, InternalSpec e2, InternalSpec e3, org.antlr.runtime.Token start)
           
InternalSpecExp(InternalOp op, InternalSpec e1, InternalSpec e2, org.antlr.runtime.Token start)
           
InternalSpecExp(InternalOp op, InternalSpec e1, org.antlr.runtime.Token start)
           
InternalSpecExp(java.lang.String exp_str, InternalOp op, InternalSpec e1, InternalSpec e2, InternalSpec e3, org.antlr.runtime.Token start)
           
InternalSpecExp(java.lang.String exp_str, InternalOp op, InternalSpec e1, InternalSpec e2, org.antlr.runtime.Token start)
           
InternalSpecExp(java.lang.String exp_str, InternalOp op, InternalSpec e1, org.antlr.runtime.Token start)
           
 
Method Summary
 void evalBDDChildrenExp(org.antlr.runtime.TokenStream input)
           
 InternalSpec[] getChildren()
           
 InternalOp getOperator()
           
 boolean hasTemporalOperators()
           
 boolean isCTLSpec()
           
 boolean isCTLStarSpec()
           
 boolean isFutureLTLSpec()
           
 boolean isLTLSpec()
           
 boolean isPastLTLSpec()
           
 boolean isPropSpec()
           
 boolean isRealTimeCTLSpec()
           
 java.lang.String toString()
           
 
Methods inherited from class edu.wis.jtlv.env.core.spec.InternalSpec
setEndToken
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

InternalSpecExp

public InternalSpecExp(java.lang.String exp_str,
                       InternalOp op,
                       InternalSpec e1,
                       org.antlr.runtime.Token start)
                throws SpecParseException
Throws:
SpecParseException

InternalSpecExp

public InternalSpecExp(InternalOp op,
                       InternalSpec e1,
                       org.antlr.runtime.Token start)
                throws SpecParseException
Throws:
SpecParseException

InternalSpecExp

public InternalSpecExp(java.lang.String exp_str,
                       InternalOp op,
                       InternalSpec e1,
                       InternalSpec e2,
                       org.antlr.runtime.Token start)
                throws SpecParseException
Throws:
SpecParseException

InternalSpecExp

public InternalSpecExp(InternalOp op,
                       InternalSpec e1,
                       InternalSpec e2,
                       org.antlr.runtime.Token start)
                throws SpecParseException
Throws:
SpecParseException

InternalSpecExp

public InternalSpecExp(java.lang.String exp_str,
                       InternalOp op,
                       InternalSpec e1,
                       InternalSpec e2,
                       InternalSpec e3,
                       org.antlr.runtime.Token start)
                throws SpecParseException
Throws:
SpecParseException

InternalSpecExp

public InternalSpecExp(InternalOp op,
                       InternalSpec e1,
                       InternalSpec e2,
                       InternalSpec e3,
                       org.antlr.runtime.Token start)
                throws SpecParseException
Throws:
SpecParseException
Method Detail

getOperator

public InternalOp getOperator()

getChildren

public InternalSpec[] getChildren()

evalBDDChildrenExp

public void evalBDDChildrenExp(org.antlr.runtime.TokenStream input)
                        throws SpecParseException
Specified by:
evalBDDChildrenExp in class InternalSpec
Throws:
SpecParseException

isCTLSpec

public boolean isCTLSpec()
Specified by:
isCTLSpec in class InternalSpec

isRealTimeCTLSpec

public boolean isRealTimeCTLSpec()
Specified by:
isRealTimeCTLSpec in class InternalSpec

isLTLSpec

public boolean isLTLSpec()
Specified by:
isLTLSpec in class InternalSpec

isFutureLTLSpec

public boolean isFutureLTLSpec()
Specified by:
isFutureLTLSpec in class InternalSpec

isPastLTLSpec

public boolean isPastLTLSpec()
Specified by:
isPastLTLSpec in class InternalSpec

isCTLStarSpec

public boolean isCTLStarSpec()
Specified by:
isCTLStarSpec in class InternalSpec

isPropSpec

public boolean isPropSpec()
Specified by:
isPropSpec in class InternalSpec

hasTemporalOperators

public boolean hasTemporalOperators()
Specified by:
hasTemporalOperators in class InternalSpec

toString

public java.lang.String toString()
Specified by:
toString in class InternalSpec