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