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
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 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 |
AbstractRandomCardProblemsTest
public AbstractRandomCardProblemsTest(String name)
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
Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.