Package rwth.i2.ltlrv.management

Holds classes for configuration management and formula creation.

See:
Description

Interface Summary

IFormulaFactory	IFormulaFactory - Common interface for formula factories.
VerificationRuntime.Listener	Listener - Interface for listers that wish to be notified about evaluation progress.

Class Summary

ByteCodePosition	This class represents a posiiton within a class in bytecode format.
Configuration	Configuration - Global configuration for one single formula.
Debug
FormulaFactory	FormulaFactory - Default implemetation of IFormulaFactory.
VerificationRuntime	VerificationRuntime - Runtime manager holding formula configurations and notifying listeners about the ongoing evaluations.

Package rwth.i2.ltlrv.management Description

Holds classes for configuration management and formula creation.

Author:

Eric Bodden