public abstract class BitSetAlgebraRelation<T extends BaseRelation> extends BitSetDisjunctiveRelation<T> implements AlgebraRelation<T>
Modifier and Type | Field and Description |
---|---|
(package private) static org.slf4j.Logger |
logger |
relset
index, prettyLabel, relation
Modifier | Constructor and Description |
---|---|
protected |
BitSetAlgebraRelation()
Creation
|
protected |
BitSetAlgebraRelation(java.util.BitSet rels) |
Modifier and Type | Method and Description |
---|---|
AlgebraRelation<T> |
compose(AlgebraRelation<T> dr) |
protected abstract java.util.BitSet |
compose(T r1,
T r2) |
abstract BitSetAlgebraRelation<T> |
inverse()
By default the inverse is the relation itself
|
java.util.BitSet |
protocompose(BitSetAlgebraRelation<T> dr)
composition
|
protected java.util.BitSet |
protoinverse()
inverse, could potentially go to Disjunctive
|
createSet, entails, equals, equals, getPrettyLabel, getRelation, getRelation, getRelations, hashCode, isEmpty, iterator, join, meet, protocompl, protojoin, protomeet, read, write
accept, accept, compose, createRelation, dump, getClass, getClassName, join, meet
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
getRelation, isEmpty, join, meet
protected BitSetAlgebraRelation()
protected BitSetAlgebraRelation(java.util.BitSet rels)
public java.util.BitSet protocompose(BitSetAlgebraRelation<T> dr)
dr:
- a bitset relation to compose with this onepublic AlgebraRelation<T> compose(AlgebraRelation<T> dr) throws AlignmentException
compose
in interface AlgebraRelation<T extends BaseRelation>
AlignmentException
protected java.util.BitSet protoinverse()
public abstract BitSetAlgebraRelation<T> inverse()
BasicRelation
inverse
in interface AlgebraRelation<T extends BaseRelation>
inverse
in interface Relation
inverse
in class BasicRelation
(C) INRIA & friends, 2003-2020