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