A B C D E F G I K L M O P R S T V

L

logTranslation() - Method in class kodkod.engine.config.Options

Returns the translation logging level (0, 1, or 2), where 0 means logging is not performed, 1 means only the translations of top level formulas are logged, and 2 means all formula translations are logged.