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:

CompetPBResMinHTMixedConstraintsObjectiveLearningTest, CounterPBConstrWithClauseAtLeastConstrLearningTest, MiniOPBClauseCardMinLearningTest, MiniOPBLongClauseCardMinLearningTest, PBCPLongMaxClauseCardConstrLearningTest, PBCPLongMinClauseCardConstrLearningTest, PBCPMaxClauseCardConstrLearningTest, PBCPMinClauseCardConstrLearningTest, PBCPMixedConstraintsCautiousTest, PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest, PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest, PuebloWatchedPBConstrWithPBConstrLearningTest, WatchedPBConstrWithPBConstrLearningTest

public abstract class AbstractPseudoBooleanAndPigeonHoleTest
extends AbstractEZPseudoBooleanAndPigeonHoleTest

Author:

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

Field Summary

Fields

Modifier and Type	Field and Description
protected static String	PREFIX

Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase

reader, solver

Constructor Summary

Constructors

Constructor and Description
AbstractPseudoBooleanAndPigeonHoleTest(String arg)

Method Summary

Methods

Modifier and Type	Method and Description
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 String PREFIX

Constructor Detail

AbstractPseudoBooleanAndPigeonHoleTest

public AbstractPseudoBooleanAndPigeonHoleTest(String arg)

Method Detail

testaloul1011

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul1015

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul1020

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul1516

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul1520

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul1525

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul2021

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul2025

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul2030

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul3031

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul3035

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul3040

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul3536

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul3540

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul3545

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul4041

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul4045

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul4050

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul5051

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul5055

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testaloul5060

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testncirc103

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testndata103

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN10

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException