org.sat4j.pb.constraints

Class AbstractPBRandomCardProblemsTest

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

org.sat4j.minisat.AbstractAcceptanceTestCase<T>

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

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

org.sat4j.pb.constraints.AbstractPBRandomCardProblemsTest

All Implemented Interfaces:

junit.framework.Test

Direct Known Subclasses:

CounterPBConstrOnRandomCardProblemsTest, PuebloWatchedPBConstrOnRandomCardProblemsTest, WatchedCardConstrOnRandomCardProblemsTest, WatchedPBConstrOnRandomCardProblemsTest

public abstract class AbstractPBRandomCardProblemsTest
extends AbstractRandomCardProblemsTest<org.sat4j.pb.IPBSolver>

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
AbstractPBRandomCardProblemsTest(String name)

Method Summary

Methods

Modifier and Type	Method and Description
protected org.sat4j.reader.Reader	createInstanceReader(org.sat4j.pb.IPBSolver solver)

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

testRndDeg1, testRndDeg10, testRndDeg11, testRndDeg12, testRndDeg13, testRndDeg14, testRndDeg15, testRndDeg16, testRndDeg17, testRndDeg18, testRndDeg2, testRndDeg3, testRndDeg4, testRndDeg5, testRndDeg6, testRndDeg7, testRndDeg8, testRndDeg9

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

createSolver, setUp, solveInstance, tearDown

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

AbstractPBRandomCardProblemsTest

public AbstractPBRandomCardProblemsTest(String name)

Method Detail

createInstanceReader

protected org.sat4j.reader.Reader createInstanceReader(org.sat4j.pb.IPBSolver solver)

Overrides:

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