AbstractPBRandomCardProblemsTest (SAT4J pseudo 2.3.2 Test API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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

Method Summary
`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 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>