AbstractM2Test (SAT4J core 2.3.3 Test API)

java.lang.Object
- junit.framework.Assert
- - junit.framework.TestCase
  - - org.sat4j.minisat.AbstractAcceptanceTestCase<T>
    - - org.sat4j.minisat.AbstractM2Test<T>

All Implemented Interfaces:

junit.framework.Test

Direct Known Subclasses:

GenericM2Test, M2AtLeastTest, M2BackjumpingTest, M2CardMaxYannTest, M2CardMinYannTest, M2MiniLearningTest, M2MiniSATTest
```
public abstract class AbstractM2Test<T extends org.sat4j.specs.ISolver>
extends AbstractAcceptanceTestCase<T>
```
Class responsability.

Author:

leberre

Field Summary

Fields
Modifier and Type Field and Description

protected static String PREFIX
- Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase
  reader, solver

Fields
Modifier and Type	Field and Description
`protected static String`	`PREFIX`

Constructor Summary

Constructors
Constructor and Description

AbstractM2Test()

AbstractM2Test(String arg0)
Constructor for DPLLTest.

Constructors
Constructor and Description
`AbstractM2Test()`
`AbstractM2Test(String arg0)` Constructor for DPLLTest.

Method Summary

Methods
Modifier and Type	Method and Description
`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,
                          org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT2

public void testAim50SAT2()
                   throws FileNotFoundException,
                          IOException,
                          org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT3

public void testAim50SAT3()
                   throws FileNotFoundException,
                          IOException,
                          org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT4

public void testAim50SAT4()
                   throws FileNotFoundException,
                          IOException,
                          org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT5

public void testAim50SAT5()
                   throws FileNotFoundException,
                          IOException,
                          org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT6

public void testAim50SAT6()
                   throws FileNotFoundException,
                          IOException,
                          org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT7

public void testAim50SAT7()
                   throws FileNotFoundException,
                          IOException,
                          org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT8

public void testAim50SAT8()
                   throws FileNotFoundException,
                          IOException,
                          org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT9

public void testAim50SAT9()
                   throws FileNotFoundException,
                          IOException,
                          org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT10

public void testAim50SAT10()
                    throws FileNotFoundException,
                           IOException,
                           org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT11

public void testAim50SAT11()
                    throws FileNotFoundException,
                           IOException,
                           org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT12

public void testAim50SAT12()
                    throws FileNotFoundException,
                           IOException,
                           org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT13

public void testAim50SAT13()
                    throws FileNotFoundException,
                           IOException,
                           org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT14

public void testAim50SAT14()
                    throws FileNotFoundException,
                           IOException,
                           org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT15

public void testAim50SAT15()
                    throws FileNotFoundException,
                           IOException,
                           org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50SAT16

public void testAim50SAT16()
                    throws FileNotFoundException,
                           IOException,
                           org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50UNSAT1

public void testAim50UNSAT1()
                     throws FileNotFoundException,
                            IOException,
                            org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50UNSAT2

public void testAim50UNSAT2()
                     throws FileNotFoundException,
                            IOException,
                            org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50UNSAT3

public void testAim50UNSAT3()
                     throws FileNotFoundException,
                            IOException,
                            org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50UNSAT4

public void testAim50UNSAT4()
                     throws FileNotFoundException,
                            IOException,
                            org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50UNSAT5

public void testAim50UNSAT5()
                     throws FileNotFoundException,
                            IOException,
                            org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50UNSAT6

public void testAim50UNSAT6()
                     throws FileNotFoundException,
                            IOException,
                            org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50UNSAT7

public void testAim50UNSAT7()
                     throws FileNotFoundException,
                            IOException,
                            org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testAim50UNSAT8

public void testAim50UNSAT8()
                     throws FileNotFoundException,
                            IOException,
                            org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi1

public void testIi1()
             throws FileNotFoundException,
                    IOException,
                    org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi2

public void testIi2()
             throws FileNotFoundException,
                    IOException,
                    org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi3

public void testIi3()
             throws FileNotFoundException,
                    IOException,
                    org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi4

public void testIi4()
             throws FileNotFoundException,
                    IOException,
                    org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi5

public void testIi5()
             throws FileNotFoundException,
                    IOException,
                    org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi6

public void testIi6()
             throws FileNotFoundException,
                    IOException,
                    org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi7

public void testIi7()
             throws FileNotFoundException,
                    IOException,
                    org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi8

public void testIi8()
             throws FileNotFoundException,
                    IOException,
                    org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi9

public void testIi9()
             throws FileNotFoundException,
                    IOException,
                    org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi10

public void testIi10()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi11

public void testIi11()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi12

public void testIi12()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi13

public void testIi13()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi14

public void testIi14()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi15

public void testIi15()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi16

public void testIi16()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi17

public void testIi17()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi18

public void testIi18()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi20

public void testIi20()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi21

public void testIi21()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi22

public void testIi22()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testIi23

public void testIi23()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH1

public void testJNH1()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH2

public void testJNH2()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH3

public void testJNH3()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH4

public void testJNH4()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH5

public void testJNH5()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH6

public void testJNH6()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH7

public void testJNH7()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH8

public void testJNH8()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH9

public void testJNH9()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH10

public void testJNH10()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH11

public void testJNH11()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH12

public void testJNH12()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH13

public void testJNH13()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH14

public void testJNH14()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH15

public void testJNH15()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH16

public void testJNH16()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH17

public void testJNH17()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH18

public void testJNH18()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH19

public void testJNH19()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH20

public void testJNH20()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH21

public void testJNH21()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH22

public void testJNH22()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH23

public void testJNH23()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH24

public void testJNH24()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH25

public void testJNH25()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH26

public void testJNH26()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH27

public void testJNH27()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH28

public void testJNH28()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH29

public void testJNH29()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH30

public void testJNH30()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH31

public void testJNH31()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH32

public void testJNH32()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH33

public void testJNH33()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH34

public void testJNH34()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH35

public void testJNH35()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH36

public void testJNH36()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH37

public void testJNH37()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH38

public void testJNH38()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH39

public void testJNH39()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH40

public void testJNH40()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH41

public void testJNH41()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH42

public void testJNH42()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH43

public void testJNH43()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH44

public void testJNH44()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH45

public void testJNH45()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH46

public void testJNH46()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH47

public void testJNH47()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH48

public void testJNH48()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH49

public void testJNH49()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testJNH50

public void testJNH50()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testHole6

public void testHole6()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

testHole7

public void testHole7()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException

Throws:: FileNotFoundException; IOException; org.sat4j.reader.ParseFormatException

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

Field Summary

Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase

Constructor Summary

Method Summary

Methods inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase

Methods inherited from class junit.framework.TestCase

Methods inherited from class junit.framework.Assert

Methods inherited from class java.lang.Object

Field Detail

PREFIX

Constructor Detail

AbstractM2Test

AbstractM2Test

Method Detail

testAim50SAT1

testAim50SAT2

testAim50SAT3

testAim50SAT4

testAim50SAT5

testAim50SAT6

testAim50SAT7

testAim50SAT8

testAim50SAT9

testAim50SAT10

testAim50SAT11

testAim50SAT12

testAim50SAT13

testAim50SAT14

testAim50SAT15

testAim50SAT16

testAim50UNSAT1

testAim50UNSAT2

testAim50UNSAT3

testAim50UNSAT4

testAim50UNSAT5

testAim50UNSAT6

testAim50UNSAT7

testAim50UNSAT8

testIi1

testIi2

testIi3

testIi4

testIi5

testIi6

testIi7

testIi8

testIi9

testIi10

testIi11

testIi12

testIi13

testIi14

testIi15

testIi16

testIi17

testIi18

testIi20

testIi21

testIi22

testIi23

testJNH1

testJNH2

testJNH3

testJNH4

testJNH5

testJNH6

testJNH7

testJNH8

testJNH9

testJNH10

testJNH11

testJNH12

testJNH13

testJNH14

testJNH15

testJNH16

testJNH17

testJNH18

testJNH19