org.sat4j.pb.constraints
Class AbstractPseudoBooleanAndPigeonHoleTest

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

All Implemented Interfaces:

junit.framework.Test

Direct Known Subclasses:

CompetPBResHTMixedConstraintsObjectiveLearningTest, CompetPBResMinHTMixedConstraintsObjectiveLearningTest, CounterPBConstrWithCBClauseCardConstrLearningTest, CounterPBConstrWithClauseAtLeastConstrLearningTest, PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest, PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest, PuebloWatchedPBConstrWithPBConstrLearningTest, WatchedPBConstrWithPBConstrLearningTest

public abstract class AbstractPseudoBooleanAndPigeonHoleTest
extends AbstractEZPseudoBooleanAndPigeonHoleTest

Author:

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

Field Summary

protected static java.lang.String

PREFIX

Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase

reader, solver

Constructor Summary

AbstractPseudoBooleanAndPigeonHoleTest(java.lang.String arg)

Method Summary

void	testaloul1011()
void	testaloul1015()
void	testaloul1020()
void	testaloul1516()
void	testaloul1520()
void	testaloul1525()
void	testaloul2021()
void	testaloul2025()
void	testaloul2030()
void	testaloul3031()
void	testaloul3035()
void	testaloul3040()
void	testaloul3536()
void	testaloul3540()
void	testaloul3545()
void	testaloul4041()
void	testaloul4045()
void	testaloul4050()
void	testaloul5051()
void	testaloul5055()
void	testaloul5060()
void	testncirc103()
void	testndata103()
void	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

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

Field Detail

PREFIX

protected static final java.lang.String PREFIX

Constructor Detail

AbstractPseudoBooleanAndPigeonHoleTest

public AbstractPseudoBooleanAndPigeonHoleTest(java.lang.String arg)

Method Detail

testaloul1011

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul1015

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul1020

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul1516

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul1520

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul1525

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul2021

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul2025

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul2030

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul3031

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul3035

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul3040

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul3536

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul3540

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul3545

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul4041

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul4045

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul4050

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul5051

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul5055

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testaloul5060

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testncirc103

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testndata103

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN10

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException