|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
Cons2Logic | Translation class, from Constraints syntactic modules to prolog (Logic Engine syntax) No constructor, only one method, translate. |
ConsPlNameMgr | Naming service class. |
ConstraintsTranslationStrategy | Class containing one field, corresponding to the strategy used for Prolog Names.0 = short and 1 = long names. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |