org.sat4j.pb
Class TestEclipseBug275101

java.lang.Object
  org.sat4j.pb.TestEclipseBug275101

public class TestEclipseBug275101
extends java.lang.Object

Constructor Summary

TestEclipseBug275101()

Method Summary

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,
                                      java.io.FileNotFoundException,
                                      org.sat4j.reader.ParseFormatException,
                                      java.io.IOException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

java.io.FileNotFoundException

org.sat4j.reader.ParseFormatException

java.io.IOException