kodkod.engine.fol2sat.ordering
Class InputRestrictedBranching

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

public class InputRestrictedBranching
extends OrderingMethod

Restrict SAT solver to branch on primary variables only

Author:

Markus Iser

Constructor Summary

InputRestrictedBranching()

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

InputRestrictedBranching

public InputRestrictedBranching()

Method Detail

apply

public void apply(OrderableSolver solver,
                  int primaryVars)

Specified by:

apply in class OrderingMethod