public class CounterPBConstrWithClauseLearningTest extends AbstractEZPseudoBooleanAndPigeonHoleTest
PREFIX
reader, solver
Constructor and Description |
---|
CounterPBConstrWithClauseLearningTest(String arg)
Cr?
|
Modifier and Type | Method and Description |
---|---|
protected IPBSolver |
createSolver() |
createInstanceReader, tearDown, testn9symml, testnb1, testnC17, testnC432, testnc8, testncc, testncirc43, testncirc63, testncirc83, testncm42a, testncmb, testndata43, testndata63, testndata83, testnmux, testnmyadder
testPN34, testPN4, testPN45, testPN5, testPN56, testPN6, testPN67, testPN7, testPN78, testPN8, testPN89, testPN9, testPN910
setUp, solveInstance
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 CounterPBConstrWithClauseLearningTest(String arg)
arg
- argument ?ventuelprotected IPBSolver createSolver()
createSolver
in class AbstractAcceptanceTestCase<IPBSolver>
TestCase.setUp()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.