algorithms
Class ReductionRules

java.lang.Object
  extended by algorithms.ReductionRules

public class ReductionRules
extends java.lang.Object


Constructor Summary
ReductionRules(Solver s)
           
 
Method Summary
 void reduceInstance()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ReductionRules

public ReductionRules(Solver s)
Method Detail

reduceInstance

public void reduceInstance()