org.sat4j.pb
Class PbmOPBStringSolver

java.lang.Object
  extended by org.sat4j.pb.PbmOPBStringSolver

public class PbmOPBStringSolver
extends Object


Constructor Summary
PbmOPBStringSolver()
           
 
Method Summary
 void testNoMin()
           
 void testWithMin()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PbmOPBStringSolver

public PbmOPBStringSolver()
Method Detail

testNoMin

public void testNoMin()
               throws org.sat4j.specs.ContradictionException
Throws:
org.sat4j.specs.ContradictionException

testWithMin

public void testWithMin()
                 throws org.sat4j.specs.ContradictionException
Throws:
org.sat4j.specs.ContradictionException


Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.