public abstract class BitSetDisjunctiveRelation<T extends BaseRelation> extends BasicRelation implements DisjunctiveRelation<T>, java.lang.Iterable<T>
Modifier and Type | Class and Description |
---|---|
private class |
BitSetDisjunctiveRelation.RelationIterator<T extends BaseRelation> |
Modifier and Type | Field and Description |
---|---|
(package private) static org.slf4j.Logger |
logger |
protected java.util.BitSet |
relset |
index, prettyLabel, relation
Modifier | Constructor and Description |
---|---|
protected |
BitSetDisjunctiveRelation()
Creation
|
protected |
BitSetDisjunctiveRelation(java.util.BitSet rels) |
Modifier and Type | Method and Description |
---|---|
protected abstract java.util.BitSet |
createSet() |
boolean |
entails(BitSetDisjunctiveRelation<T> dr) |
boolean |
equals(java.lang.Object o)
Are the two relations equal
|
boolean |
equals(Relation r) |
java.lang.String |
getPrettyLabel() |
java.lang.String |
getRelation()
Shadowing BasicRelation's
|
protected abstract T |
getRelation(int i) |
java.util.BitSet |
getRelations() |
int |
hashCode() |
boolean |
isEmpty() |
java.util.Iterator<T> |
iterator() |
DisjunctiveRelation<T> |
join(DisjunctiveRelation<T>... drs) |
DisjunctiveRelation<T> |
meet(DisjunctiveRelation<T>... drs) |
protected java.util.BitSet |
protocompl(BitSetDisjunctiveRelation<T> dr)
complement
|
protected java.util.BitSet |
protojoin(BitSetDisjunctiveRelation<T>... drs)
intersection
|
protected java.util.BitSet |
protomeet(BitSetDisjunctiveRelation<T>... drs)
union
|
java.util.BitSet |
read(java.lang.String rels) |
void |
write(java.io.PrintWriter writer)
This is kept for displayig more correctly the result
|
accept, accept, compose, createRelation, dump, getClass, getClassName, inverse, join, meet
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
getRelation
protected BitSetDisjunctiveRelation()
protected BitSetDisjunctiveRelation(java.util.BitSet rels)
protected abstract java.util.BitSet createSet()
protected abstract T getRelation(int i)
public java.util.BitSet read(java.lang.String rels) throws AlignmentException
AlignmentException
public java.util.BitSet getRelations()
public java.util.Iterator<T> iterator()
iterator
in interface java.lang.Iterable<T extends BaseRelation>
@SafeVarargs protected final java.util.BitSet protojoin(BitSetDisjunctiveRelation<T>... drs)
drs:
- a set of bitset disjunctive relations to be intersectedpublic DisjunctiveRelation<T> join(DisjunctiveRelation<T>... drs) throws AlignmentException
join
in interface DisjunctiveRelation<T extends BaseRelation>
AlignmentException
@SafeVarargs protected final java.util.BitSet protomeet(BitSetDisjunctiveRelation<T>... drs)
drs:
- a set of bitset disjunctive relations to be metpublic DisjunctiveRelation<T> meet(DisjunctiveRelation<T>... drs) throws AlignmentException
meet
in interface DisjunctiveRelation<T extends BaseRelation>
AlignmentException
protected java.util.BitSet protocompl(BitSetDisjunctiveRelation<T> dr)
dr:
- a set of bitset disjunctive relations to be complementedpublic boolean isEmpty()
isEmpty
in interface DisjunctiveRelation<T extends BaseRelation>
public boolean entails(BitSetDisjunctiveRelation<T> dr)
public void write(java.io.PrintWriter writer)
write
in interface Relation
write
in class BasicRelation
public java.lang.String getRelation()
getRelation
in interface Relation
getRelation
in class BasicRelation
public java.lang.String getPrettyLabel()
getPrettyLabel
in class BasicRelation
public boolean equals(java.lang.Object o)
equals
in class BasicRelation
public boolean equals(Relation r)
equals
in interface Relation
equals
in class BasicRelation
public int hashCode()
hashCode
in class BasicRelation
(C) INRIA & friends, 2003-2020