org.sat4j.pb.constraints
Class AbstractEZPseudoBooleanAndPigeonHoleTest

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
All Implemented Interfaces:
junit.framework.Test
Direct Known Subclasses:
AbstractPseudoBooleanAndPigeonHoleTest, CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest, CompetPBResHTMixedConstraintsObjectiveLearningTest, CompetPBResLongHTMixedConstraintsObjectiveLearningTest, CompetPBResLongWLMixedConstraintsObjectiveLearningTest, CounterPBConstrClauseImpliedWithClauseCardConstrLearning, CounterPBConstrWithClauseLearningTest, CounterPBConstrWithPBConstrLearningTest, CounterPBWithClauseCardConstrLearningReduceToClauseTest, PBCPMixedConstraintsResCPTest, PuebloWatchedPBConstrWithClauseLearningTest, WatchedPBConstrWithClauseLearningTest

public abstract class AbstractEZPseudoBooleanAndPigeonHoleTest
extends AbstractPigeonHoleWithCardinalityTest<IPBSolver>

Author:
leberre Those pseudo boolean problems were kindly provided by Niklas Een.

Field Summary
 
Fields inherited from class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
PREFIX
 
Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase
reader, solver
 
Constructor Summary
AbstractEZPseudoBooleanAndPigeonHoleTest(String arg)
          Cr?
 
Method Summary
protected  org.sat4j.reader.Reader createInstanceReader(IPBSolver solver)
           
protected  void tearDown()
           
 void testn9symml()
           
 void testnb1()
           
 void testnC17()
           
 void testnC432()
           
 void testnc8()
           
 void testncc()
           
 void testncirc43()
           
 void testncirc63()
           
 void testncirc83()
           
 void testncm42a()
           
 void testncmb()
           
 void testndata43()
           
 void testndata63()
           
 void testndata83()
           
 void testnmux()
           
 void 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
createSolver, 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

AbstractEZPseudoBooleanAndPigeonHoleTest

public AbstractEZPseudoBooleanAndPigeonHoleTest(String arg)
Cr?ation d'un test

Parameters:
arg - argument ?ventuel
Method Detail

createInstanceReader

protected org.sat4j.reader.Reader createInstanceReader(IPBSolver solver)
Overrides:
createInstanceReader in class AbstractAcceptanceTestCase<IPBSolver>

tearDown

protected void tearDown()
Overrides:
tearDown in class AbstractAcceptanceTestCase<IPBSolver>

testncirc43

public void testncirc43()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testncirc63

public void testncirc63()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testncirc83

public void testncirc83()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testndata43

public void testndata43()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testndata63

public void testndata63()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testndata83

public void testndata83()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testn9symml

public void testn9symml()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testnC17

public void testnC17()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testnC432

public void testnC432()
               throws FileNotFoundException,
                      IOException,
                      org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testnb1

public void testnb1()
             throws FileNotFoundException,
                    IOException,
                    org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testnc8

public void testnc8()
             throws FileNotFoundException,
                    IOException,
                    org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testncc

public void testncc()
             throws FileNotFoundException,
                    IOException,
                    org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testncm42a

public void testncm42a()
                throws FileNotFoundException,
                       IOException,
                       org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testncmb

public void testncmb()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testnmux

public void testnmux()
              throws FileNotFoundException,
                     IOException,
                     org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testnmyadder

public void testnmyadder()
                  throws FileNotFoundException,
                         IOException,
                         org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException


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