public abstract class AbstractSolvabilityTest extends DataSourceAbstractTest
Modifier and Type | Class and Description |
---|---|
static class |
AbstractSolvabilityTest.DeterminismType |
Constructor and Description |
---|
AbstractSolvabilityTest() |
Modifier and Type | Method and Description |
---|---|
abstract PebbleAlgorithm |
getAlgorithmToTest() |
abstract AbstractSolvabilityTest.DeterminismType |
getDeterminismType() |
boolean |
isSolvable(java.lang.String result) |
boolean |
isSolvableOrUnknown(java.lang.String result) |
boolean |
isUnknown(java.lang.String result) |
boolean |
isUnsolvable(java.lang.String result) |
boolean |
isUnsolvableOrUnknown(java.lang.String result) |
void |
testLargerUnsolvableGraphs() |
void |
testSmallerUnsolvableGraphs() |
void |
testSolvableGraphs() |
void |
testSolvableGraphsWithLotsOfVerticesWithPebbles1() |
setUp, setUpBeforeClass, tearDown, tearDownAfterClass
public abstract PebbleAlgorithm getAlgorithmToTest()
public abstract AbstractSolvabilityTest.DeterminismType getDeterminismType()
public void testSolvableGraphs()
public void testSolvableGraphsWithLotsOfVerticesWithPebbles1()
public void testSmallerUnsolvableGraphs()
public void testLargerUnsolvableGraphs()
public boolean isSolvable(java.lang.String result)
public boolean isUnsolvable(java.lang.String result)
public boolean isUnknown(java.lang.String result)
public boolean isSolvableOrUnknown(java.lang.String result)
public boolean isUnsolvableOrUnknown(java.lang.String result)