| AssignmentContext |
Container for properties that influence the generation of an individual VariableAssignment.
|
| AssignmentsTranslator |
Translates sets of assignments for a single predicate.
|
| CallerTranslator |
Translates Callers, namely SystemUsages and Operations.
|
| LogicTermContext |
Provides the context information required for the LogicTermTranslator.
|
| LogicTermTranslator |
Translates LogicTerms (the right sides of Variable Assignments).
|
| PreambleBuilder |
Builds teh preamble added to every program.
|
| PrologProgram |
Class for the easier generation of textual Prolog Programs.
|
| SystemTranslator |
Root class for the Translation.
|
| TranslationCache |
Caches translation information which is potentially expensive to compute.
|
| Util |
Bundles common Utility functions and conventions.
|