org.sat4j.pb.constraints
Class AbstractRandomCardProblemsTest<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>
                  org.sat4j.pb.constraints.AbstractRandomCardProblemsTest<T>

All Implemented Interfaces:

junit.framework.Test

Direct Known Subclasses:

AbstractPBRandomCardProblemsTest

public abstract class AbstractRandomCardProblemsTest<T extends org.sat4j.specs.ISolver>
extends AbstractPigeonHoleWithCardinalityTest<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 inherited from class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest

PREFIX

Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase

reader, solver

Constructor Summary

AbstractRandomCardProblemsTest(java.lang.String name)

Method Summary

void	testRndDeg1()
void	testRndDeg10()
void	testRndDeg11()
void	testRndDeg12()
void	testRndDeg13()
void	testRndDeg14()
void	testRndDeg15()
void	testRndDeg16()
void	testRndDeg17()
void	testRndDeg18()
void	testRndDeg2()
void	testRndDeg3()
void	testRndDeg4()
void	testRndDeg5()
void	testRndDeg6()
void	testRndDeg7()
void	testRndDeg8()
void	testRndDeg9()

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

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

Constructor Detail

AbstractRandomCardProblemsTest

public AbstractRandomCardProblemsTest(java.lang.String name)

Method Detail

testRndDeg1

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg2

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg3

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg4

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg5

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg6

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg7

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg8

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg9

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg10

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg11

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg12

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg13

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg14

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg15

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg16

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg17

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException

testRndDeg18

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

Throws:

java.io.FileNotFoundException

java.io.IOException

org.sat4j.reader.ParseFormatException