org.sat4j.pb.constraints

Class CounterPBWithClauseCardConstrLearningReduceToClauseTest

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

org.sat4j.minisat.AbstractAcceptanceTestCase<T>

org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest<org.sat4j.pb.IPBSolver>

org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest

org.sat4j.pb.constraints.CounterPBWithClauseCardConstrLearningReduceToClauseTest

All Implemented Interfaces:

junit.framework.Test

public class CounterPBWithClauseCardConstrLearningReduceToClauseTest
extends AbstractEZPseudoBooleanAndPigeonHoleTest

Field Summary

Fields inherited from class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest

PREFIX

Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase

reader, solver

Constructor Summary

Constructors

Constructor and Description
CounterPBWithClauseCardConstrLearningReduceToClauseTest(String arg)

Method Summary

Methods

Modifier and Type	Method and Description
protected org.sat4j.pb.IPBSolver	createSolver()

Methods inherited from class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest

createInstanceReader, tearDown, testn9symml, testnb1, testnC17, testnC432, testnc8, testncc, testncirc43, testncirc63, testncirc83, testncm42a, testncmb, testndata43, testndata63, testndata83, testnmux, testnmyadder

Methods inherited from class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest

testPN34, testPN4, testPN45, testPN5, testPN56, testPN6, testPN67, testPN7, testPN78, testPN8, testPN89, testPN9, testPN910

Methods inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase

setUp, solveInstance

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CounterPBWithClauseCardConstrLearningReduceToClauseTest

public CounterPBWithClauseCardConstrLearningReduceToClauseTest(String arg)

Method Detail

createSolver

protected org.sat4j.pb.IPBSolver createSolver()

Specified by:

createSolver in class AbstractAcceptanceTestCase<org.sat4j.pb.IPBSolver>

See Also:

TestCase.setUp()