public class RuleCounterExample extends Object implements CounterExample
CounterExample.Type
Constructor and Description |
---|
RuleCounterExample(CospanDecomposition leftHandSide,
CospanDecomposition rightHandSide,
CospanDecomposition context)
Creates a new rule counter-example
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
CospanDecomposition |
getSource()
Returns the cospan decomposition of the left hand-side used as a counter-example
|
CospanDecomposition |
getTarget()
Returns the cospan decomposition of the right hand-side used as a counter-example
|
CounterExample.Type |
getType()
Returns the type of the data object.
|
int |
hashCode() |
String |
toString() |
public RuleCounterExample(CospanDecomposition leftHandSide, CospanDecomposition rightHandSide, CospanDecomposition context)
leftHandSide
- the cospan decomposition of the left hand-side of the rulerightHandSide
- the cospan decomposition of the right hand-side of the rulecontext
- the cospan decomposition of the context of the two graphspublic CospanDecomposition getSource()
public CospanDecomposition getTarget()
public CounterExample.Type getType()
Data