org.latdraw.fca
Class ConceptLattice

java.lang.Object
  org.latdraw.fca.ConceptLattice

public class ConceptLattice
extends java.lang.Object

A class for creating an ordered set whose elements are the elements of a concept lattice.

Version:

$Id: ConceptLattice.java,v 1.6 2004/01/12 08:47:32 ralph Exp $

Author:

Ralph Freese

Constructor Summary

ConceptLattice(net.sourceforge.toscanaj.model.lattice.Lattice conceptLat)

ConceptLattice(java.lang.String name, net.sourceforge.toscanaj.model.lattice.Lattice conceptLat)

Method Summary

POElem	elemForAttribute(java.lang.Object obj)
POElem	elemForObject(java.lang.Object obj)
java.lang.Object[]	getAttributeArray()
int	getAttributeIndex(java.lang.Object obj) The index of obj in the attribute array.
java.lang.Object[]	getObjectArray()
int	getObjectIndex(java.lang.Object obj) The index of obj in the object array.
static OrderedSet	orderedSetFromCL(java.lang.String name, net.sourceforge.toscanaj.model.lattice.Concept[] concepts)

Methods inherited from class java.lang.Object

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

Constructor Detail

ConceptLattice

public ConceptLattice(net.sourceforge.toscanaj.model.lattice.Lattice conceptLat)
               throws NonOrderedSetException

Throws:

NonOrderedSetException

ConceptLattice

public ConceptLattice(java.lang.String name,
                      net.sourceforge.toscanaj.model.lattice.Lattice conceptLat)
               throws NonOrderedSetException

Throws:

NonOrderedSetException

Method Detail

orderedSetFromCL

public static final OrderedSet orderedSetFromCL(java.lang.String name,
                                                net.sourceforge.toscanaj.model.lattice.Concept[] concepts)
                                         throws NonOrderedSetException

Throws:

NonOrderedSetException

getAttributeArray

public java.lang.Object[] getAttributeArray()

getObjectArray

public java.lang.Object[] getObjectArray()

getObjectIndex

public int getObjectIndex(java.lang.Object obj)

The index of obj in the object array.

getAttributeIndex

public int getAttributeIndex(java.lang.Object obj)

The index of obj in the attribute array.

elemForObject

public POElem elemForObject(java.lang.Object obj)

elemForAttribute

public POElem elemForAttribute(java.lang.Object obj)