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

T

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

Returns a string representation of this Options object.

toString() - Method in class kodkod.engine.satlab.MiniSat

translate(Formula, Bounds, Options) - Static method in class kodkod.engine.fol2sat.Translator

Translates the given formula using the specified bounds and options.

Translator - Class in kodkod.engine.fol2sat

Translates, evaluates, and approximates nodes with respect to given bounds (or instances) and Options.