org.sat4j.pb

Class TestEclipseBug275101

java.lang.Object

org.sat4j.pb.TestEclipseBug275101

public class TestEclipseBug275101
extends Object

Constructor Summary

Constructors

Constructor and Description
TestEclipseBug275101()

Method Summary

Methods

Modifier and Type	Method and Description
void	testReserveVarsButUseLess()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestEclipseBug275101

public TestEclipseBug275101()

Method Detail

testReserveVarsButUseLess

public void testReserveVarsButUseLess()
                               throws org.sat4j.specs.ContradictionException,
                                      org.sat4j.specs.TimeoutException,
                                      FileNotFoundException,
                                      org.sat4j.reader.ParseFormatException,
                                      IOException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

FileNotFoundException

org.sat4j.reader.ParseFormatException

IOException