edu.wis.jtlv.env.spec
Interface Spec

All Known Implementing Classes:

SpecBDD, SpecCTLRange, SpecExp

public interface Spec

A general interface for all kinds of specifications.

Version:

"1.2.0"

Author:

yaniv sa'ar.

See Also:

Env.loadSpecFile(String), Env.loadSpecString(String), Env.loadSpecInputStream(java.io.InputStream)

Method Summary

boolean	equals(java.lang.Object other)
boolean	hasTemporalOperators()
boolean	isCTLSpec()
boolean	isCTLStarSpec()
boolean	isFutureLTLSpec()
boolean	isLTLSpec()
boolean	isPastLTLSpec()
boolean	isPropSpec()
boolean	isRealTimeCTLSpec()
net.sf.javabdd.BDDVarSet	releventVars()
net.sf.javabdd.BDD	toBDD()
java.lang.String	toString()

Method Detail

isPropSpec

boolean isPropSpec()

isCTLSpec

boolean isCTLSpec()

isRealTimeCTLSpec

boolean isRealTimeCTLSpec()

isLTLSpec

boolean isLTLSpec()

isFutureLTLSpec

boolean isFutureLTLSpec()

isPastLTLSpec

boolean isPastLTLSpec()

isCTLStarSpec

boolean isCTLStarSpec()

hasTemporalOperators

boolean hasTemporalOperators()

releventVars

net.sf.javabdd.BDDVarSet releventVars()

toString

java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

toBDD

net.sf.javabdd.BDD toBDD()
                         throws SpecException

Throws:

SpecException