jjdh API

dh.java.math.algebra.structure.relation
Class OrderedPartition<E>

java.lang.Object
  extended by dh.java.math.algebra.structure.relation.AbstractPartition<E>
      extended by dh.java.math.algebra.structure.relation.OrderedPartition<E>
Type Parameters:
E -
All Implemented Interfaces:
EquivalenceRelation<E>, GrowingPartition<E>, Partition<E>, Relation<E>

public class OrderedPartition<E>
extends AbstractPartition<E>

To Do: optimize

Author:
Dennis Heidsiek

Field Summary
protected  Comparator<? super E> comparator
          Provides a total order on the elements to speed up the implementation.
 
Fields inherited from class dh.java.math.algebra.structure.relation.AbstractPartition
implicitGrow, mapping, relation, representatives
 
Constructor Summary
OrderedPartition(Comparator<? super E> comparator, boolean implicitGrow)
           
 
Method Summary
 void processNewList(List<E> list)
           
 
Methods inherited from class dh.java.math.algebra.structure.relation.AbstractPartition
addAll, addAll, addNewClass, addToClass, detailedToString, getEquivalenceClass, getEquivalenceClasses, getEquivalenceClassesAsList, getRepresentativeSystem, getSuperset, related, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

comparator

protected Comparator<? super E> comparator
Provides a total order on the elements to speed up the implementation.

Constructor Detail

OrderedPartition

public OrderedPartition(Comparator<? super E> comparator,
                        boolean implicitGrow)
Method Detail

processNewList

public void processNewList(List<E> list)
Specified by:
processNewList in class AbstractPartition<E>

jjdh API

Copyright © 2006 Jonas Jacobi and Dennis Heidsiek. All Rights Reserved.