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

protected static java.lang.String

PREFIX

Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase

reader, solver

Constructor Summary

AbstractPigeonHoleWithCardinalityTest(java.lang.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 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

AbstractPigeonHoleWithCardinalityTest

public AbstractPigeonHoleWithCardinalityTest(java.lang.String arg)

Cr?ation d'un test

Parameters:

arg - argument ?ventuel

Method Detail

testPN34

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN4

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN45

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN5

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN56

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN6

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN67

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN7

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN78

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN8

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN89

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN9

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testPN910

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException