public class M2MiniSATTest extends AbstractM2Test<ISolver>
PREFIX
reader, solver
Constructor and Description |
---|
M2MiniSATTest(String arg0) |
Modifier and Type | Method and Description |
---|---|
protected ISolver |
createSolver() |
testAim50SAT1, testAim50SAT10, testAim50SAT11, testAim50SAT12, testAim50SAT13, testAim50SAT14, testAim50SAT15, testAim50SAT16, testAim50SAT2, testAim50SAT3, testAim50SAT4, testAim50SAT5, testAim50SAT6, testAim50SAT7, testAim50SAT8, testAim50SAT9, testAim50UNSAT1, testAim50UNSAT2, testAim50UNSAT3, testAim50UNSAT4, testAim50UNSAT5, testAim50UNSAT6, testAim50UNSAT7, testAim50UNSAT8, testHole6, testHole7, testIi1, testIi10, testIi11, testIi12, testIi13, testIi14, testIi15, testIi16, testIi17, testIi18, testIi2, testIi20, testIi21, testIi22, testIi23, testIi3, testIi4, testIi5, testIi6, testIi7, testIi8, testIi9, testJNH1, testJNH10, testJNH11, testJNH12, testJNH13, testJNH14, testJNH15, testJNH16, testJNH17, testJNH18, testJNH19, testJNH2, testJNH20, testJNH21, testJNH22, testJNH23, testJNH24, testJNH25, testJNH26, testJNH27, testJNH28, testJNH29, testJNH3, testJNH30, testJNH31, testJNH32, testJNH33, testJNH34, testJNH35, testJNH36, testJNH37, testJNH38, testJNH39, testJNH4, testJNH40, testJNH41, testJNH42, testJNH43, testJNH44, testJNH45, testJNH46, testJNH47, testJNH48, testJNH49, testJNH5, testJNH50, testJNH6, testJNH7, testJNH8, testJNH9
createInstanceReader, setUp, solveInstance, tearDown
countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString
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
public M2MiniSATTest(String arg0)
arg0
- protected ISolver createSolver()
createSolver
in class AbstractAcceptanceTestCase<ISolver>
TestCase.setUp()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.