public class M2BackjumpingTest extends AbstractM2Test<org.sat4j.specs.ISolver>
PREFIXreader, solver| Constructor and Description |
|---|
M2BackjumpingTest(String arg0) |
| Modifier and Type | Method and Description |
|---|---|
protected org.sat4j.specs.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, testJNH9createInstanceReader, setUp, solveInstance, tearDowncountTestCases, createResult, getName, run, run, runBare, runTest, setName, toStringassertEquals, 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, formatpublic M2BackjumpingTest(String arg0)
arg0 - protected org.sat4j.specs.ISolver createSolver()
createSolver in class AbstractAcceptanceTestCase<org.sat4j.specs.ISolver>TestCase.setUp()Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.