public class IncompatRelation extends BasicRelation
Modifier and Type | Field and Description |
---|---|
private static IncompatRelation |
instance |
(package private) static java.lang.String |
prettyLabel |
index, relation
Constructor and Description |
---|
IncompatRelation()
Creation
|
Modifier and Type | Method and Description |
---|---|
void |
accept(AlignmentVisitor visitor) |
void |
accept(TypeCheckingVisitor visitor) |
Relation |
compose(Relation r)
By default...
|
static IncompatRelation |
getInstance() |
createRelation, dump, equals, equals, getClassName, getPrettyLabel, getRelation, hashCode, inverse, join, meet, write
static final java.lang.String prettyLabel
private static IncompatRelation instance
public void accept(AlignmentVisitor visitor) throws AlignmentException
accept
in interface Visitable
accept
in class BasicRelation
AlignmentException
public void accept(TypeCheckingVisitor visitor) throws AlignmentException
accept
in class BasicRelation
AlignmentException
public static IncompatRelation getInstance()
public Relation compose(Relation r)
BasicRelation
compose
in interface Relation
compose
in class BasicRelation
(C) INRIA & friends, 2003-2020