org.sat4j.pb.constraints
Class AbstractPigeonHoleWithCardinalityTest<T extends org.sat4j.specs.ISolver>

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.sat4j.minisat.AbstractAcceptanceTestCase<T>
              extended by 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


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.