org.sat4j.pb
Class TestEclipseBug275101

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

public class TestEclipseBug275101
extends 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,
                                      FileNotFoundException,
                                      org.sat4j.reader.ParseFormatException,
                                      IOException
Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException
FileNotFoundException
org.sat4j.reader.ParseFormatException
IOException


Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.