|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
SEStrategy | The strategy for symbolic execution. |
Class Summary | |
---|---|
ConstrainStrategy | A translator strategy that introduces constraints wherever possible in lieu of inlining expressions. |
Environment | Symbolic execution environment maintained by the translation. |
ExprTranslator | Translates Forge expressions into Kodkod expressions. |
ForgeTranslation | A translation of a Forge procedure to Kodkod. |
HybridStrategy | A translator that inlines for updates but adds constraints for branches |
InlineStrategy | A translator strategy that inlines expressions wherever possible in lieu of introducing constraints. |
RelationalModel | Stores the relations for the translator. |
RelationalModel.DomainRelations | Relations created for an InstanceDomain. |
RelationalModel.StmtRelations | Relations created for a statement. |
SymbolicExecutor | Symbolically executes statements. |
ThesisStrategy |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |