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