Package ConForM.CoopnTools.CoKer.CoopnTest.Cons2Logic

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.