net.sourceforge.toscanaj.controller.fca
Class GantersAlgorithm

java.lang.Object
  net.sourceforge.toscanaj.controller.fca.GantersAlgorithm

All Implemented Interfaces:

LatticeGenerator

public class GantersAlgorithm

extends java.lang.Object

implements LatticeGenerator

Constructor Summary

GantersAlgorithm()

Method Summary

java.lang.Object[]	createElementArray(java.util.Collection collection) This is similar to Collection.toArray(), but also checks for duplicates.
Lattice	createLattice(org.tockit.context.model.Context inputContext)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GantersAlgorithm

public GantersAlgorithm()

Method Detail

createLattice

public Lattice createLattice(org.tockit.context.model.Context inputContext)

Specified by:

createLattice in interface LatticeGenerator

createElementArray

public java.lang.Object[] createElementArray(java.util.Collection collection)

This is similar to Collection.toArray(), but also checks for duplicates.