org.sat4j.pb.constraints
Class WatchedCardConstrOnRandomCardProblemsTest

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<IPBSolver>
                      org.sat4j.pb.constraints.AbstractPBRandomCardProblemsTest
                          org.sat4j.pb.constraints.WatchedCardConstrOnRandomCardProblemsTest

All Implemented Interfaces:

junit.framework.Test

public class WatchedCardConstrOnRandomCardProblemsTest
extends AbstractPBRandomCardProblemsTest

Author:

leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Field Summary

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

PREFIX

Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase

reader, solver

Constructor Summary

WatchedCardConstrOnRandomCardProblemsTest(String arg0)

Method Summary

protected IPBSolver

createSolver()

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

createInstanceReader

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

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

WatchedCardConstrOnRandomCardProblemsTest

public WatchedCardConstrOnRandomCardProblemsTest(String arg0)

Parameters:

arg0 -

Method Detail

createSolver

protected IPBSolver createSolver()

Specified by:

createSolver in class AbstractAcceptanceTestCase<IPBSolver>

See Also:

TestCase.setUp()