edu.neu.ccs.bias
Class InputInitial

java.lang.Object
  extended by edu.neu.ccs.bias.InputInitial
All Implemented Interfaces:
edu.neu.ccs.satsolver.InputInitialI

 class InputInitial
extends java.lang.Object
implements edu.neu.ccs.satsolver.InputInitialI


Field Summary
 java.util.Set m_pairs
           
 
Constructor Summary
InputInitial(java.util.Set pairs)
           
 
Method Summary
 java.util.Set getPairs()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_pairs

public java.util.Set m_pairs
Constructor Detail

InputInitial

public InputInitial(java.util.Set pairs)
Method Detail

getPairs

public java.util.Set getPairs()
Specified by:
getPairs in interface edu.neu.ccs.satsolver.InputInitialI