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