CounterPBConstrWithClauseLearningTest (SAT4J pseudo 2.3.1 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 CounterPBConstrWithClauseLearningTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.sat4j.minisat.AbstractAcceptanceTestCase<T>
              org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest<IPBSolver>
                  org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
                      org.sat4j.pb.constraints.CounterPBConstrWithClauseLearningTest

All Implemented Interfaces:: junit.framework.Test

public class CounterPBConstrWithClauseLearningTest
extends AbstractEZPseudoBooleanAndPigeonHoleTest
extends AbstractEZPseudoBooleanAndPigeonHoleTest

Author:: Propri?taire 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
`CounterPBConstrWithClauseLearningTest(String arg)` Cr?

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

CounterPBConstrWithClauseLearningTest

public CounterPBConstrWithClauseLearningTest(String arg)

Cr?ation d'un test

Parameters:: arg - argument ?ventuel

Method Detail

createSolver

protected IPBSolver createSolver()

Specified by:: createSolver in class AbstractAcceptanceTestCase<IPBSolver>

See Also:: TestCase.setUp()