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

G

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

Returns the present method to tamper with SAT solver's variable ordering.