kodkod.engine.fol2sat.ordering
Class DefaultOrdering

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

public class DefaultOrdering
extends OrderingMethod

Default Ordering Method. Does nothing.

Author:

Markus Iser

Constructor Summary

DefaultOrdering()

Method Summary

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

DefaultOrdering

public DefaultOrdering()

Method Detail

apply

public void apply(OrderableSolver solver,
                  int primaryVars)

Specified by:

apply in class OrderingMethod