Package forge.translate

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