org.sat4j.minisat
Class AbstractM2Test<T extends ISolver>
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 ISolver>
- extends AbstractAcceptanceTestCase<T>
Class responsability.
- Author:
- leberre
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 |
PREFIX
protected static final String PREFIX
AbstractM2Test
public AbstractM2Test()
AbstractM2Test
public AbstractM2Test(String arg0)
- Constructor for DPLLTest.
- Parameters:
arg0
-
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
Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.