Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.sat4j.minisat
Class AbstractM2Test<T extends org.sat4j.specs.ISolver>

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.sat4j.minisat.AbstractAcceptanceTestCase<T>
              extended by org.sat4j.minisat.AbstractM2Test<T>
All Implemented Interfaces:
junit.framework.Test
Direct Known Subclasses:
GenericM2Test, M2AtLeastTest, M2BackjumpingTest, M2CardMaxYannTest, M2CardMinYannTest, M2MiniLearningCBTest, M2MiniLearningTest, M2MiniSATTest, M2RelsatTest
public abstract class AbstractM2Test<T extends org.sat4j.specs.ISolver>
extends AbstractAcceptanceTestCase<T>

Class responsability.

Author:
leberre

Field Summary
protected static java.lang.String PREFIX
           
 
Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase
reader, solver
 
Constructor Summary
AbstractM2Test()
           
AbstractM2Test(java.lang.String arg0)
          Constructor for DPLLTest.
 
Method Summary
 void testAim50SAT1()
           
 void testAim50SAT10()
           
 void testAim50SAT11()
           
 void testAim50SAT12()
           
 void testAim50SAT13()
           
 void testAim50SAT14()
           
 void testAim50SAT15()
           
 void testAim50SAT16()
           
 void testAim50SAT2()
           
 void testAim50SAT3()
           
 void testAim50SAT4()
           
 void testAim50SAT5()
           
 void testAim50SAT6()
           
 void testAim50SAT7()
           
 void testAim50SAT8()
           
 void testAim50SAT9()
           
 void testAim50UNSAT1()
           
 void testAim50UNSAT2()
           
 void testAim50UNSAT3()
           
 void testAim50UNSAT4()
           
 void testAim50UNSAT5()
           
 void testAim50UNSAT6()
           
 void testAim50UNSAT7()
           
 void testAim50UNSAT8()
           
 void testHole6()
           
 void testHole7()
           
 void testIi1()
           
 void testIi10()
           
 void testIi11()
           
 void testIi12()
           
 void testIi13()
           
 void testIi14()
           
 void testIi15()
           
 void testIi16()
           
 void testIi17()
           
 void testIi18()
           
 void testIi2()
           
 void testIi20()
           
 void testIi21()
           
 void testIi22()
           
 void testIi23()
           
 void testIi3()
           
 void testIi4()
           
 void testIi5()
           
 void testIi6()
           
 void testIi7()
           
 void testIi8()
           
 void testIi9()
           
 void testJNH1()
           
 void testJNH10()
           
 void testJNH11()
           
 void testJNH12()
           
 void testJNH13()
           
 void testJNH14()
           
 void testJNH15()
           
 void testJNH16()
           
 void testJNH17()
           
 void testJNH18()
           
 void testJNH19()
           
 void testJNH2()
           
 void testJNH20()
           
 void testJNH21()
           
 void testJNH22()
           
 void testJNH23()
           
 void testJNH24()
           
 void testJNH25()
           
 void testJNH26()
           
 void testJNH27()
           
 void testJNH28()
           
 void testJNH29()
           
 void testJNH3()
           
 void testJNH30()
           
 void testJNH31()
           
 void testJNH32()
           
 void testJNH33()
           
 void testJNH34()
           
 void testJNH35()
           
 void testJNH36()
           
 void testJNH37()
           
 void testJNH38()
           
 void testJNH39()
           
 void testJNH4()
           
 void testJNH40()
           
 void testJNH41()
           
 void testJNH42()
           
 void testJNH43()
           
 void testJNH44()
           
 void testJNH45()
           
 void testJNH46()
           
 void testJNH47()
           
 void testJNH48()
           
 void testJNH49()
           
 void testJNH5()
           
 void testJNH50()
           
 void testJNH6()
           
 void testJNH7()
           
 void testJNH8()
           
 void testJNH9()
           
 
Methods inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase
createInstanceReader, createSolver, setUp, solveInstance, tearDown
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString
 
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

PREFIX

protected static final java.lang.String PREFIX
Constructor Detail

AbstractM2Test

public AbstractM2Test()

AbstractM2Test

public AbstractM2Test(java.lang.String arg0)
Constructor for DPLLTest.

Parameters:
arg0 -
Method Detail

testAim50SAT1

public void testAim50SAT1()
                   throws java.io.FileNotFoundException,
                          java.io.IOException,
                          org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT2

public void testAim50SAT2()
                   throws java.io.FileNotFoundException,
                          java.io.IOException,
                          org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT3

public void testAim50SAT3()
                   throws java.io.FileNotFoundException,
                          java.io.IOException,
                          org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT4

public void testAim50SAT4()
                   throws java.io.FileNotFoundException,
                          java.io.IOException,
                          org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT5

public void testAim50SAT5()
                   throws java.io.FileNotFoundException,
                          java.io.IOException,
                          org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT6

public void testAim50SAT6()
                   throws java.io.FileNotFoundException,
                          java.io.IOException,
                          org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT7

public void testAim50SAT7()
                   throws java.io.FileNotFoundException,
                          java.io.IOException,
                          org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT8

public void testAim50SAT8()
                   throws java.io.FileNotFoundException,
                          java.io.IOException,
                          org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT9

public void testAim50SAT9()
                   throws java.io.FileNotFoundException,
                          java.io.IOException,
                          org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT10

public void testAim50SAT10()
                    throws java.io.FileNotFoundException,
                           java.io.IOException,
                           org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT11

public void testAim50SAT11()
                    throws java.io.FileNotFoundException,
                           java.io.IOException,
                           org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT12

public void testAim50SAT12()
                    throws java.io.FileNotFoundException,
                           java.io.IOException,
                           org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT13

public void testAim50SAT13()
                    throws java.io.FileNotFoundException,
                           java.io.IOException,
                           org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT14

public void testAim50SAT14()
                    throws java.io.FileNotFoundException,
                           java.io.IOException,
                           org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT15

public void testAim50SAT15()
                    throws java.io.FileNotFoundException,
                           java.io.IOException,
                           org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50SAT16

public void testAim50SAT16()
                    throws java.io.FileNotFoundException,
                           java.io.IOException,
                           org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50UNSAT1

public void testAim50UNSAT1()
                     throws java.io.FileNotFoundException,
                            java.io.IOException,
                            org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50UNSAT2

public void testAim50UNSAT2()
                     throws java.io.FileNotFoundException,
                            java.io.IOException,
                            org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50UNSAT3

public void testAim50UNSAT3()
                     throws java.io.FileNotFoundException,
                            java.io.IOException,
                            org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50UNSAT4

public void testAim50UNSAT4()
                     throws java.io.FileNotFoundException,
                            java.io.IOException,
                            org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50UNSAT5

public void testAim50UNSAT5()
                     throws java.io.FileNotFoundException,
                            java.io.IOException,
                            org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50UNSAT6

public void testAim50UNSAT6()
                     throws java.io.FileNotFoundException,
                            java.io.IOException,
                            org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50UNSAT7

public void testAim50UNSAT7()
                     throws java.io.FileNotFoundException,
                            java.io.IOException,
                            org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testAim50UNSAT8

public void testAim50UNSAT8()
                     throws java.io.FileNotFoundException,
                            java.io.IOException,
                            org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi1

public void testIi1()
             throws java.io.FileNotFoundException,
                    java.io.IOException,
                    org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi2

public void testIi2()
             throws java.io.FileNotFoundException,
                    java.io.IOException,
                    org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi3

public void testIi3()
             throws java.io.FileNotFoundException,
                    java.io.IOException,
                    org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi4

public void testIi4()
             throws java.io.FileNotFoundException,
                    java.io.IOException,
                    org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi5

public void testIi5()
             throws java.io.FileNotFoundException,
                    java.io.IOException,
                    org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi6

public void testIi6()
             throws java.io.FileNotFoundException,
                    java.io.IOException,
                    org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi7

public void testIi7()
             throws java.io.FileNotFoundException,
                    java.io.IOException,
                    org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi8

public void testIi8()
             throws java.io.FileNotFoundException,
                    java.io.IOException,
                    org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi9

public void testIi9()
             throws java.io.FileNotFoundException,
                    java.io.IOException,
                    org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi10

public void testIi10()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi11

public void testIi11()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi12

public void testIi12()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi13

public void testIi13()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi14

public void testIi14()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi15

public void testIi15()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi16

public void testIi16()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi17

public void testIi17()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi18

public void testIi18()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi20

public void testIi20()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi21

public void testIi21()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi22

public void testIi22()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testIi23

public void testIi23()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH1

public void testJNH1()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH2

public void testJNH2()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH3

public void testJNH3()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH4

public void testJNH4()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH5

public void testJNH5()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH6

public void testJNH6()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH7

public void testJNH7()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH8

public void testJNH8()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH9

public void testJNH9()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH10

public void testJNH10()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH11

public void testJNH11()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH12

public void testJNH12()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH13

public void testJNH13()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH14

public void testJNH14()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH15

public void testJNH15()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH16

public void testJNH16()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH17

public void testJNH17()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH18

public void testJNH18()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH19

public void testJNH19()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH20

public void testJNH20()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH21

public void testJNH21()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH22

public void testJNH22()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH23

public void testJNH23()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH24

public void testJNH24()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH25

public void testJNH25()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH26

public void testJNH26()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH27

public void testJNH27()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH28

public void testJNH28()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH29

public void testJNH29()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH30

public void testJNH30()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH31

public void testJNH31()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH32

public void testJNH32()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH33

public void testJNH33()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH34

public void testJNH34()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH35

public void testJNH35()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH36

public void testJNH36()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH37

public void testJNH37()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH38

public void testJNH38()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH39

public void testJNH39()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH40

public void testJNH40()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH41

public void testJNH41()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH42

public void testJNH42()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH43

public void testJNH43()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH44

public void testJNH44()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH45

public void testJNH45()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH46

public void testJNH46()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH47

public void testJNH47()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH48

public void testJNH48()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH49

public void testJNH49()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testJNH50

public void testJNH50()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testHole6

public void testHole6()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException

testHole7

public void testHole7()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
java.io.FileNotFoundException
java.io.IOException
org.sat4j.reader.ParseFormatException
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.