org.sat4j.pb.constraints

Class AbstractPigeonHoleWithCardinalityTest<T extends org.sat4j.specs.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 org.sat4j.specs.ISolver>
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

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
AbstractPigeonHoleWithCardinalityTest(String arg) Cr?

Method Summary

Methods

Modifier and Type	Method and Description
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 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,
                     org.sat4j.reader.ParseFormatException

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN4

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN45

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN5

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN56

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN6

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN67

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN7

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN78

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN8

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN89

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN9

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException

testPN910

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

Throws:

FileNotFoundException

IOException

org.sat4j.reader.ParseFormatException