Uses of Class
edu.wis.jtlv.env.spec.SpecException

Packages that use SpecException

edu.wis.jtlv.env.spec

Package dedicated to the user's specifications interface.

Uses of SpecException in edu.wis.jtlv.env.spec

Methods in edu.wis.jtlv.env.spec that throw SpecException

BDD	SpecCTLRange.toBDD()
BDD	SpecExp.toBDD()
BDD	Spec.toBDD() Get the BDD representing this specification.
BDD	SpecBDD.toBDD()

Constructors in edu.wis.jtlv.env.spec that throw SpecException

SpecExp(Operator op, Spec[] el)
A general purpose constructor.