Package | Description |
---|---|
de.uni_due.inf.ti.raven.data |
Classes to create, represent, manipulate data.
|
Modifier and Type | Class and Description |
---|---|
class |
CospanCounterExample
A wrapper class for cospan decompositions that are used to give one
graph as a counter-example for an algorithm
|
class |
RuleCounterExample
A wrapper class for cospan decompositions that are used to give two
graphs with the same context as a counter-example for an algorithm
|