org.sat4j.pb

Class PbmOPBStringSolver

java.lang.Object

org.sat4j.pb.PbmOPBStringSolver

public class PbmOPBStringSolver
extends Object

Constructor Summary

Constructors

Constructor and Description
PbmOPBStringSolver()

Method Summary

Methods

Modifier and Type	Method and Description
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