public class PBCPLongMaxClauseCardConstrLearningTest extends AbstractPseudoBooleanAndPigeonHoleTest
PREFIXreader, solver| Constructor and Description |
|---|
PBCPLongMaxClauseCardConstrLearningTest(String arg) |
| Modifier and Type | Method and Description |
|---|---|
protected org.sat4j.pb.IPBSolver |
createSolver() |
testaloul1011, testaloul1015, testaloul1020, testaloul1516, testaloul1520, testaloul1525, testaloul2021, testaloul2025, testaloul2030, testaloul3031, testaloul3035, testaloul3040, testaloul3536, testaloul3540, testaloul3545, testaloul4041, testaloul4045, testaloul4050, testaloul5051, testaloul5055, testaloul5060, testncirc103, testndata103, testPN10createInstanceReader, tearDown, testn9symml, testnb1, testnC17, testnC432, testnc8, testncc, testncirc43, testncirc63, testncirc83, testncm42a, testncmb, testndata43, testndata63, testndata83, testnmux, testnmyaddertestPN34, testPN4, testPN45, testPN5, testPN56, testPN6, testPN67, testPN7, testPN78, testPN8, testPN89, testPN9, testPN910setUp, solveInstancecountTestCases, 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 PBCPLongMaxClauseCardConstrLearningTest(String arg)
protected org.sat4j.pb.IPBSolver createSolver()
createSolver in class AbstractAcceptanceTestCase<org.sat4j.pb.IPBSolver>Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.