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 AbstractRandomCardProblemsTest<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>
                  extended by 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(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(String name)
Method Detail

testRndDeg1

public void testRndDeg1()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg2

public void testRndDeg2()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg3

public void testRndDeg3()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg4

public void testRndDeg4()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg5

public void testRndDeg5()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg6

public void testRndDeg6()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg7

public void testRndDeg7()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg8

public void testRndDeg8()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg9

public void testRndDeg9()
                 throws FileNotFoundException,
                        IOException,
                        org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg10

public void testRndDeg10()
                  throws FileNotFoundException,
                         IOException,
                         org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg11

public void testRndDeg11()
                  throws FileNotFoundException,
                         IOException,
                         org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg12

public void testRndDeg12()
                  throws FileNotFoundException,
                         IOException,
                         org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg13

public void testRndDeg13()
                  throws FileNotFoundException,
                         IOException,
                         org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg14

public void testRndDeg14()
                  throws FileNotFoundException,
                         IOException,
                         org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg15

public void testRndDeg15()
                  throws FileNotFoundException,
                         IOException,
                         org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg16

public void testRndDeg16()
                  throws FileNotFoundException,
                         IOException,
                         org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg17

public void testRndDeg17()
                  throws FileNotFoundException,
                         IOException,
                         org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException

testRndDeg18

public void testRndDeg18()
                  throws FileNotFoundException,
                         IOException,
                         org.sat4j.reader.ParseFormatException
Throws:
FileNotFoundException
IOException
org.sat4j.reader.ParseFormatException
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.