Package edu.wis.jtlv.env.spec

Package dedicated to the user's specifications interface.

See:
Description

Interface Summary

Macro	A NOT YET IMPLEMENTED, general Macro interface for converting specifications.
Spec	A general interface for all kinds of specifications.

Class Summary

SpecBDD	First order specification which is parsed as an SMV expression.
SpecCTLRange	This node is a range node for the Real Time CTL operators. Simple ranges are not assigned with such a node, and are evaluated as a smv expressions. For consistency, this is not regarded as a temporal operator in the queries.
SpecExp	Specification expression.

Enum Summary

Operator

All kinds of operators.

Exception Summary

SpecException

An exception dedicated for all kind of specifications issues.

Package edu.wis.jtlv.env.spec Description

Package dedicated to the user's specifications interface.

Version:

"1.3.2"

Author:

yaniv sa'ar.