AbstractPigeonHoleWithCardinalityTest (SAT4J 2.2.0 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 AbstractPigeonHoleWithCardinalityTest<T extends ISolver>

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.sat4j.minisat.AbstractAcceptanceTestCase<T>
              org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest<T>

All Implemented Interfaces:: junit.framework.Test

Direct Known Subclasses:: AbstractEZPseudoBooleanAndPigeonHoleTest, AbstractRandomCardProblemsTest

public abstract class AbstractPigeonHoleWithCardinalityTest<T extends ISolver>
extends AbstractAcceptanceTestCase<T>
extends AbstractAcceptanceTestCase<T>

Author:: leberre To change the template for this generated type comment go to Window>Preferences>Java>Code Generation>Code and Comments

Field Summary
`protected static String`	`PREFIX`

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

Constructor Summary
`AbstractPigeonHoleWithCardinalityTest(String arg)` Cr?

Method Summary
`void`	`testPN34()`
`void`	`testPN4()`
`void`	`testPN45()`
`void`	`testPN5()`
`void`	`testPN56()`
`void`	`testPN6()`
`void`	`testPN67()`
`void`	`testPN7()`
`void`	`testPN78()`
`void`	`testPN8()`
`void`	`testPN89()`
`void`	`testPN9()`
`void`	`testPN910()`

Methods inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase
`createInstanceReader, createSolver, setUp, solveInstance, tearDown`

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

AbstractPigeonHoleWithCardinalityTest

public AbstractPigeonHoleWithCardinalityTest(String arg)

Cr?ation d'un test

Parameters:: arg - argument ?ventuel

Method Detail

testPN34

public void testPN34()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException

testPN4

public void testPN4()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException

testPN45

public void testPN45()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException

testPN5

public void testPN5()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException

testPN56

public void testPN56()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException

testPN6

public void testPN6()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException

testPN67

public void testPN67()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException

testPN7

public void testPN7()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException

testPN78

public void testPN78()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException

testPN8

public void testPN8()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException

testPN89

public void testPN89()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException

testPN9

public void testPN9()
             throws FileNotFoundException,
                    IOException,
                    ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException

testPN910

public void testPN910()
               throws FileNotFoundException,
                      IOException,
                      ParseFormatException

Throws:: FileNotFoundException; IOException; ParseFormatException