public class CospanCounterExample extends Object implements CounterExample
CounterExample.Type
Constructor and Description |
---|
CospanCounterExample(CospanDecomposition cd)
Creates a new cospan counter-example
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
CospanDecomposition |
getCospan()
Returns the cospan decomposition of the counter-example graph.
|
CounterExample.Type |
getType()
Returns the type of the data object.
|
int |
hashCode() |
String |
toString() |
public CospanCounterExample(CospanDecomposition cd)
cd
- the cospan decomposition of the calculated counter-example graphpublic CospanDecomposition getCospan()
public CounterExample.Type getType()
Data