|
jjdh API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdh.java.math.algebra.structure.relation.AbstractPartition<E>
public abstract class AbstractPartition<E>
Field Summary | |
---|---|
protected boolean |
implicitGrow
Indicates if this partition should grow whenever possible. |
protected SortedMap<E,UnsafeListSet<E>> |
mapping
This map represents the main data structure of a partition. |
protected EquivalenceRelation<? super E> |
relation
The Relation which defines this Partition. |
protected SortedSet<E> |
representatives
A representative system of the equivalence classes of this partition. |
Constructor Summary | |
---|---|
AbstractPartition(EquivalenceRelation<? super E> relation,
boolean implicitGrow)
|
Method Summary | |
---|---|
void |
addAll(Collection<? extends E> elements)
|
void |
addAll(E... elements)
|
protected void |
addNewClass(UnsafeListSet<E> value)
|
protected void |
addToClass(UnsafeListSet<E> value,
Collection<E> toAdd)
|
String |
detailedToString()
|
EquivalenceClass<E> |
getEquivalenceClass(E element)
|
Set<EquivalenceClass<E>> |
getEquivalenceClasses()
|
List<EquivalenceClass<E>> |
getEquivalenceClassesAsList()
|
Set<E> |
getRepresentativeSystem()
|
Set<E> |
getSuperset()
Returns the implicit superset. |
abstract void |
processNewList(List<E> list)
|
boolean |
related(E s1,
E s2)
|
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected EquivalenceRelation<? super E> relation
protected boolean implicitGrow
protected SortedMap<E,UnsafeListSet<E>> mapping
protected SortedSet<E> representatives
Constructor Detail |
---|
public AbstractPartition(EquivalenceRelation<? super E> relation, boolean implicitGrow)
Method Detail |
---|
public Set<E> getSuperset()
Partition
getSuperset
in interface Partition<E>
public EquivalenceClass<E> getEquivalenceClass(E element)
getEquivalenceClass
in interface Partition<E>
public Set<E> getRepresentativeSystem()
getRepresentativeSystem
in interface Partition<E>
public Set<EquivalenceClass<E>> getEquivalenceClasses()
getEquivalenceClasses
in interface Partition<E>
public List<EquivalenceClass<E>> getEquivalenceClassesAsList()
public void addAll(E... elements)
addAll
in interface GrowingPartition<E>
public void addAll(Collection<? extends E> elements)
addAll
in interface GrowingPartition<E>
public abstract void processNewList(List<E> list)
protected void addToClass(UnsafeListSet<E> value, Collection<E> toAdd)
protected void addNewClass(UnsafeListSet<E> value)
public String toString()
toString
in class Object
public String detailedToString()
public boolean related(E s1, E s2)
related
in interface Relation<E>
|
jjdh API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |