org.sat4j.pb.constraints
Class PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.sat4j.minisat.AbstractAcceptanceTestCase<T>
              extended by org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest<IPBSolver>
                  extended by org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
                      extended by org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
                          extended by org.sat4j.pb.constraints.PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest
All Implemented Interfaces:
junit.framework.Test

public class PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest
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
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest(String arg)
           
 
Method Summary
protected  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

PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest

public PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest(String arg)
Method Detail

createSolver

protected IPBSolver createSolver()
Specified by:
createSolver in class AbstractAcceptanceTestCase<IPBSolver>


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.