edu.wis.jtlv.env.core.spec
Class InternalSpecBDD
java.lang.Object
edu.wis.jtlv.env.core.spec.InternalSpec
edu.wis.jtlv.env.core.spec.InternalSpecBDD
public class InternalSpecBDD
- extends InternalSpec
First order specification.
- Version:
- "1.3.2"
- Author:
- yaniv sa'ar.
Constructor Summary |
InternalSpecBDD(java.lang.String exp_str,
org.antlr.runtime.Token start)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
InternalSpecBDD
public InternalSpecBDD(java.lang.String exp_str,
org.antlr.runtime.Token start)
getVal
public BDD getVal()
getExprStr
public java.lang.String getExprStr()
evalBDDChildrenExp
public void evalBDDChildrenExp(org.antlr.runtime.TokenStream input)
throws SpecParseException
- Specified by:
evalBDDChildrenExp
in class InternalSpec
- Throws:
SpecParseException
evalBDDExp
public void evalBDDExp(org.antlr.runtime.TokenStream input)
throws SpecParseException
- Throws:
SpecParseException
isCTLSpec
public boolean isCTLSpec()
- Specified by:
isCTLSpec
in class InternalSpec
isRealTimeCTLSpec
public boolean isRealTimeCTLSpec()
- Specified by:
isRealTimeCTLSpec
in class InternalSpec
isCTLStarSpec
public boolean isCTLStarSpec()
- Specified by:
isCTLStarSpec
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
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