org.sat4j.pb

Class LexicoDecoratorPBTest

java.lang.Object

org.sat4j.pb.LexicoDecoratorPBTest

public class LexicoDecoratorPBTest
extends Object

Constructor Summary

Constructors

Constructor and Description
LexicoDecoratorPBTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	test()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LexicoDecoratorPBTest

public LexicoDecoratorPBTest()

Method Detail

setUp

public void setUp()
           throws Exception

Throws:

Exception

test

public void test()
          throws org.sat4j.specs.ContradictionException,
                 org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException