org.sat4j.pb.constraints
Class AbstractEZPseudoBooleanAndPigeonHoleTest

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

All Implemented Interfaces:

junit.framework.Test

Direct Known Subclasses:

AbstractPseudoBooleanAndPigeonHoleTest, CounterPBConstrClauseImpliedWithClauseCardConstrLearning, CounterPBConstrWithClauseLearningTest, CounterPBConstrWithPBConstrLearningTest, CounterPBWithClauseCardConstrLearningReduceToClauseTest, PuebloWatchedPBConstrWithClauseLearningTest, WatchedPBConstrWithClauseLearningTest

public abstract class AbstractEZPseudoBooleanAndPigeonHoleTest
extends AbstractPigeonHoleWithCardinalityTest<org.sat4j.pb.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(java.lang.String arg)
Cr?

Method Summary

protected org.sat4j.reader.Reader	createInstanceReader(org.sat4j.pb.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(java.lang.String arg)

Cr?ation d'un test

Parameters:

arg - argument ?ventuel

Method Detail

createInstanceReader

protected org.sat4j.reader.Reader createInstanceReader(org.sat4j.pb.IPBSolver solver)

Overrides:

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

tearDown

protected void tearDown()

Overrides:

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

testncirc43

public void testncirc43()
                 throws java.io.FileNotFoundException,
                        java.io.IOException,
                        org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testncirc63

public void testncirc63()
                 throws java.io.FileNotFoundException,
                        java.io.IOException,
                        org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testncirc83

public void testncirc83()
                 throws java.io.FileNotFoundException,
                        java.io.IOException,
                        org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testndata43

public void testndata43()
                 throws java.io.FileNotFoundException,
                        java.io.IOException,
                        org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testndata63

public void testndata63()
                 throws java.io.FileNotFoundException,
                        java.io.IOException,
                        org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testndata83

public void testndata83()
                 throws java.io.FileNotFoundException,
                        java.io.IOException,
                        org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testn9symml

public void testn9symml()
                 throws java.io.FileNotFoundException,
                        java.io.IOException,
                        org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testnC17

public void testnC17()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testnC432

public void testnC432()
               throws java.io.FileNotFoundException,
                      java.io.IOException,
                      org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testnb1

public void testnb1()
             throws java.io.FileNotFoundException,
                    java.io.IOException,
                    org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testnc8

public void testnc8()
             throws java.io.FileNotFoundException,
                    java.io.IOException,
                    org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testncc

public void testncc()
             throws java.io.FileNotFoundException,
                    java.io.IOException,
                    org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testncm42a

public void testncm42a()
                throws java.io.FileNotFoundException,
                       java.io.IOException,
                       org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testncmb

public void testncmb()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testnmux

public void testnmux()
              throws java.io.FileNotFoundException,
                     java.io.IOException,
                     org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testnmyadder

public void testnmyadder()
                  throws java.io.FileNotFoundException,
                         java.io.IOException,
                         org.sat4j.reader.ParseFormatException

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException