kodkod.engine.fol2sat.ordering
Class OrderingMethod

java.lang.Object
  kodkod.engine.fol2sat.ordering.OrderingMethod

Direct Known Subclasses:

DefaultOrdering, InitializePrimaryVariables, InputRestrictedBranching

public abstract class OrderingMethod
extends java.lang.Object

Abstract super-class of all ordering methods. Via the apply-method, descendants implement their way to influence SAT solver's variable ordering.

Author:

Markus Iser

Constructor Summary

OrderingMethod()

Method Summary

abstract void

apply(OrderableSolver solver, int primaryVars)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OrderingMethod

public OrderingMethod()

Method Detail

apply

public abstract void apply(OrderableSolver solver,
                           int primaryVars)