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 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 ISolver>
extends AbstractAcceptanceTestCase<T>

Class responsability.

Author:
leberre

Field Summary
protected static String PREFIX
           
 
Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase
reader, solver
 
Constructor Summary
AbstractM2Test()
           
AbstractM2Test(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 String PREFIX
Constructor Detail

AbstractM2Test

public AbstractM2Test()

AbstractM2Test

public AbstractM2Test(String arg0)
Constructor for DPLLTest.

Parameters:
arg0 -
Method Detail

testAim50SAT1

public void testAim50SAT1()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT2

public void testAim50SAT2()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT3

public void testAim50SAT3()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT4

public void testAim50SAT4()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT5

public void testAim50SAT5()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT6

public void testAim50SAT6()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT7

public void testAim50SAT7()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT8

public void testAim50SAT8()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT9

public void testAim50SAT9()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT10

public void testAim50SAT10()
                    throws FileNotFoundException,
                           IOException,
                           ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT11

public void testAim50SAT11()
                    throws FileNotFoundException,
                           IOException,
                           ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT12

public void testAim50SAT12()
                    throws FileNotFoundException,
                           IOException,
                           ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT13

public void testAim50SAT13()
                    throws FileNotFoundException,
                           IOException,
                           ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT14

public void testAim50SAT14()
                    throws FileNotFoundException,
                           IOException,
                           ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT15

public void testAim50SAT15()
                    throws FileNotFoundException,
                           IOException,
                           ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50SAT16

public void testAim50SAT16()
                    throws FileNotFoundException,
                           IOException,
                           ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50UNSAT1

public void testAim50UNSAT1()
                     throws FileNotFoundException,
                            IOException,
                            ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50UNSAT2

public void testAim50UNSAT2()
                     throws FileNotFoundException,
                            IOException,
                            ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50UNSAT3

public void testAim50UNSAT3()
                     throws FileNotFoundException,
                            IOException,
                            ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50UNSAT4

public void testAim50UNSAT4()
                     throws FileNotFoundException,
                            IOException,
                            ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50UNSAT5

public void testAim50UNSAT5()
                     throws FileNotFoundException,
                            IOException,
                            ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50UNSAT6

public void testAim50UNSAT6()
                     throws FileNotFoundException,
                            IOException,
                            ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50UNSAT7

public void testAim50UNSAT7()
                     throws FileNotFoundException,
                            IOException,
                            ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testAim50UNSAT8

public void testAim50UNSAT8()
                     throws FileNotFoundException,
                            IOException,
                            ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi1

public void testIi1()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi2

public void testIi2()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi3

public void testIi3()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi4

public void testIi4()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi5

public void testIi5()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi6

public void testIi6()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi7

public void testIi7()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi8

public void testIi8()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi9

public void testIi9()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi10

public void testIi10()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi11

public void testIi11()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi12

public void testIi12()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi13

public void testIi13()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi14

public void testIi14()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi15

public void testIi15()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi16

public void testIi16()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi17

public void testIi17()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi18

public void testIi18()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi20

public void testIi20()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi21

public void testIi21()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi22

public void testIi22()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testIi23

public void testIi23()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH1

public void testJNH1()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH2

public void testJNH2()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH3

public void testJNH3()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH4

public void testJNH4()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH5

public void testJNH5()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH6

public void testJNH6()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH7

public void testJNH7()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH8

public void testJNH8()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH9

public void testJNH9()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH10

public void testJNH10()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH11

public void testJNH11()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH12

public void testJNH12()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH13

public void testJNH13()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH14

public void testJNH14()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH15

public void testJNH15()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH16

public void testJNH16()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH17

public void testJNH17()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH18

public void testJNH18()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH19

public void testJNH19()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH20

public void testJNH20()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH21

public void testJNH21()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH22

public void testJNH22()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH23

public void testJNH23()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH24

public void testJNH24()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH25

public void testJNH25()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH26

public void testJNH26()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH27

public void testJNH27()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH28

public void testJNH28()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH29

public void testJNH29()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH30

public void testJNH30()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH31

public void testJNH31()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH32

public void testJNH32()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH33

public void testJNH33()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH34

public void testJNH34()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH35

public void testJNH35()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH36

public void testJNH36()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH37

public void testJNH37()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH38

public void testJNH38()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH39

public void testJNH39()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH40

public void testJNH40()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH41

public void testJNH41()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH42

public void testJNH42()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH43

public void testJNH43()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH44

public void testJNH44()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH45

public void testJNH45()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH46

public void testJNH46()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH47

public void testJNH47()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH48

public void testJNH48()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH49

public void testJNH49()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testJNH50

public void testJNH50()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testHole6

public void testHole6()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testHole7

public void testHole7()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException
Throws:
FileNotFoundException
IOException
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 © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.