org.sat4j.pb
Class PbmOPBStringSolver

java.lang.Object
  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 ContradictionException

Throws:

ContradictionException

testWithMin

public void testWithMin()
                 throws ContradictionException

Throws:

ContradictionException