public class A5AlgebraRelation extends BitSetAlgebraRelation<A5BaseRelation>
Modifier and Type | Field and Description |
---|---|
protected static java.util.BitSet[][] |
compositionTable |
private static A5AlgebraRelation |
emptySet |
private static A5AlgebraRelation |
fullSet |
private static A5AlgebraRelation |
instance0 |
(package private) static org.slf4j.Logger |
logger |
protected static java.util.Vector<A5BaseRelation> |
positions |
protected static java.util.HashMap<java.lang.String,A5BaseRelation> |
relations |
protected static int |
size |
relset
index, prettyLabel, relation
Modifier | Constructor and Description |
---|---|
private |
A5AlgebraRelation()
Creation
|
private |
A5AlgebraRelation(java.util.BitSet rels)
This is private because it refers to the implementation as BitSet
|
|
A5AlgebraRelation(java.lang.String rels) |
compose, protocompose, protoinverse
entails, equals, equals, getPrettyLabel, getRelation, getRelations, hashCode, isEmpty, iterator, join, meet, protocompl, protojoin, protomeet, read, write
accept, accept, dump, getClassName, join, meet
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
isEmpty, join, meet
dump, equals, getRelation, write
static final org.slf4j.Logger logger
protected static java.util.HashMap<java.lang.String,A5BaseRelation> relations
protected static java.util.Vector<A5BaseRelation> positions
protected static int size
protected static java.util.BitSet[][] compositionTable
private static A5AlgebraRelation instance0
private static A5AlgebraRelation emptySet
private static A5AlgebraRelation fullSet
private A5AlgebraRelation()
public A5AlgebraRelation(java.lang.String rels) throws AlignmentException
AlignmentException
private A5AlgebraRelation(java.util.BitSet rels)
rels:
- the internal representation of the relationprotected static void init()
public static A5AlgebraRelation createRelation(java.lang.String rels) throws AlignmentException
AlignmentException
public static A5AlgebraRelation createRelation(A5BaseRelation... rels) throws AlignmentException
AlignmentException
protected java.util.BitSet createSet()
createSet
in class BitSetDisjunctiveRelation<A5BaseRelation>
protected static void protoinit()
protected static void initStructures(A5BaseRelation... idrels)
protected static void protofinalize()
public A5BaseRelation getRelation(java.lang.String rel)
public A5BaseRelation getRelation(int i)
getRelation
in class BitSetDisjunctiveRelation<A5BaseRelation>
public java.util.BitSet compose(A5BaseRelation s, A5BaseRelation t)
compose
in class BitSetAlgebraRelation<A5BaseRelation>
protected static void declareRelation(A5BaseRelation rel, A5BaseRelation inverse)
protected static void setComposition(A5BaseRelation a, A5BaseRelation b, A5BaseRelation c)
protected static void o(A5BaseRelation a, A5BaseRelation b, A5BaseRelation... s)
protected static void t(A5BaseRelation a, A5BaseRelation b, A5BaseRelation c)
public A5AlgebraRelation compose(A5AlgebraRelation dr)
public A5AlgebraRelation compose(Relation r)
BasicRelation
compose
in interface Relation
compose
in class BasicRelation
public A5AlgebraRelation inverse()
BasicRelation
inverse
in interface AlgebraRelation<A5BaseRelation>
inverse
in interface Relation
inverse
in class BitSetAlgebraRelation<A5BaseRelation>
public final A5AlgebraRelation join(A5AlgebraRelation... drs)
public final A5AlgebraRelation meet(A5AlgebraRelation... drs)
public static A5AlgebraRelation getInconsistentRelation() throws AlignmentException
AlignmentException
public static A5AlgebraRelation getNoInfoRelation() throws AlignmentException
AlignmentException
public static A5AlgebraRelation getIdRelation() throws AlignmentException
AlignmentException
public boolean isIdRelation()
(C) INRIA & friends, 2003-2020