|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
Holds classes for configuration management and formula creation.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |