edu.wis.jtlv.env.core.spec
Class InternalSpecExp
java.lang.Object
edu.wis.jtlv.env.core.spec.InternalSpec
edu.wis.jtlv.env.core.spec.InternalSpecExp
public class InternalSpecExp
- extends InternalSpec
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)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
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