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