AbstractPseudoBooleanAndPigeonHoleTest (SAT4J pseudo 2.3.2 Test API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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
extends AbstractEZPseudoBooleanAndPigeonHoleTest

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

Field Summary
`protected static String`	`PREFIX`

Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase
`reader, solver`

Constructor Summary
`AbstractPseudoBooleanAndPigeonHoleTest(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 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