Package envgen.spec.prop

Atomic propositions allowed in a specification.

See:
Description

Class Summary

Assignment
MethodCall	Data structure to hold information about a specific proposition from ltl or re specification.
ObjAllocation	Data structure to hold information about object allocation specified in the "instantiations" section of the specification file.
Proposition	Implementation of possible atomic propositions in a specification language.

Package envgen.spec.prop Description

Atomic propositions allowed in a specification.

Implementation of atomic propositions.

Oksana Tkachuk

Last modified: Mon Jan 21 01:48:28 CST 2002