edu.neu.ccs.bias
Class ClassicSATSolverUtil

java.lang.Object
  extended by edu.neu.ccs.bias.ClassicSATSolverUtil

 class ClassicSATSolverUtil
extends java.lang.Object

Use this class as specified by the interface document.


Constructor Summary
ClassicSATSolverUtil()
           
 
Method Summary
static edu.neu.ccs.satsolver.OutputI calculateBias(edu.neu.ccs.satsolver.InputInitialI input)
          Calculates the max bias given an InputInitialI instance.
static edu.neu.ccs.satsolver.OutputI updateBias(edu.neu.ccs.satsolver.InputUpdateI input)
          Calculates the max bias given an InputUpdateI instance.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ClassicSATSolverUtil

ClassicSATSolverUtil()
Method Detail

calculateBias

public static edu.neu.ccs.satsolver.OutputI calculateBias(edu.neu.ccs.satsolver.InputInitialI input)
Calculates the max bias given an InputInitialI instance. Throws IllegalArgumentException if relation number or fraction is out of acceptable ranges.


updateBias

public static edu.neu.ccs.satsolver.OutputI updateBias(edu.neu.ccs.satsolver.InputUpdateI input)
Calculates the max bias given an InputUpdateI instance. Throws an IllegalArgumentException if the relation number or fraction are outside of acceptable ranges.