org.sat4j.pb.constraints
Class CompetPBResMinHTMixedConstraintsObjectiveLearningTest

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.AbstractPseudoBooleanAndPigeonHoleTest
                          org.sat4j.pb.constraints.CompetPBResMinHTMixedConstraintsObjectiveLearningTest

All Implemented Interfaces:

junit.framework.Test

public class CompetPBResMinHTMixedConstraintsObjectiveLearningTest
extends AbstractPseudoBooleanAndPigeonHoleTest

Field Summary

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

PREFIX

Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase

reader, solver

Constructor Summary

CompetPBResMinHTMixedConstraintsObjectiveLearningTest(java.lang.String arg)

Method Summary

protected org.sat4j.pb.IPBSolver

createSolver()

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

testaloul1011, testaloul1015, testaloul1020, testaloul1516, testaloul1520, testaloul1525, testaloul2021, testaloul2025, testaloul2030, testaloul3031, testaloul3035, testaloul3040, testaloul3536, testaloul3540, testaloul3545, testaloul4041, testaloul4045, testaloul4050, testaloul5051, testaloul5055, testaloul5060, testncirc103, testndata103, testPN10

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

CompetPBResMinHTMixedConstraintsObjectiveLearningTest

public CompetPBResMinHTMixedConstraintsObjectiveLearningTest(java.lang.String arg)

Method Detail

createSolver

protected org.sat4j.pb.IPBSolver createSolver()

Specified by:

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