net.sourceforge.toscanaj.model.lattice
Interface Concept

All Superinterfaces:

Ordered, XMLizable

All Known Implementing Classes:

ConceptImplementation

public interface Concept

extends XMLizable, Ordered

Offers read access to information about a concept in a Formal Concept Lattice. This does model the intent, the extent and the two contingents (attribute and object) by giving access to the size information and an iterator for each. In addition a query can be made if this concept is realized, thereby allowing a distinction between the view from the data model (concrete scale) and the data itself (realised scale). The terms used are: - intent: all attributes matched in this concept - extent: all objects matching all attributes in the intent - attribute contingent: all attribute matched in this concept but not in any upper neighbour - object contingent: all objects matching the intent but nothing else The contingents are usually used for labelling the diagram.

Method Summary

java.util.Iterator	getAttributeContingentIterator() Returns an iterator returning the attributes from the contingent.
int	getAttributeContingentSize() Returns the size of the attribute contingent.
Concept	getBottomConcept()
java.util.Collection	getDownset()
java.util.Iterator	getExtentIterator() Returns an iterator returning the objects from the extent.
int	getExtentSize() Returns the size of the extent.
java.util.Iterator	getIntentIterator() Returns an iterator returning the attributes from the intent.
int	getIntentSize() Returns the size of the intent.
java.util.Iterator	getObjectContingentIterator() Returns an iterator returning the objects from the contingent.
int	getObjectContingentSize() Returns the size of the object contingent.
Concept	getTopConcept()
java.util.Collection	getUpset()
boolean	hasSubConcept(Concept concept) Returns true iff the given concept is a subconcept of the object.
boolean	hasSuperConcept(Concept concept) Returns true iff the given concept is a superconcept of the object.
boolean	isBottom() Returns true iff this is the bottom concept.
boolean	isJoinIrreducible()
boolean	isMeetIrreducible()
boolean	isTop() Returns true iff this is the top concept.

Methods inherited from interface net.sourceforge.toscanaj.util.xmlize.XMLizable

readXML, toXML

Methods inherited from interface net.sourceforge.toscanaj.model.order.Ordered

isEqual, isLesserThan

Method Detail

getIntentSize

public int getIntentSize()

Returns the size of the intent.

getExtentSize

public int getExtentSize()

Returns the size of the extent.

getAttributeContingentSize

public int getAttributeContingentSize()

Returns the size of the attribute contingent.

getObjectContingentSize

public int getObjectContingentSize()

Returns the size of the object contingent.

getIntentIterator

public java.util.Iterator getIntentIterator()

Returns an iterator returning the attributes from the intent. The Java objects returned from the iterator should offer a toString() implementation suited for displaying the attributes.

getExtentIterator

public java.util.Iterator getExtentIterator()

Returns an iterator returning the objects from the extent. The Java objects returned from the iterator should offer a toString() implementation suited for displaying the objects.

getAttributeContingentIterator

public java.util.Iterator getAttributeContingentIterator()

Returns an iterator returning the attributes from the contingent. The Java objects returned from the iterator should offer a toString() implementation suited for displaying the attributes.

getObjectContingentIterator

public java.util.Iterator getObjectContingentIterator()

Returns an iterator returning the objects from the contingent. The Java objects returned from the iterator should offer a toString() implementation suited for displaying the objects.

isTop

public boolean isTop()

Returns true iff this is the top concept.

isBottom

public boolean isBottom()

Returns true iff this is the bottom concept.

hasSuperConcept

public boolean hasSuperConcept(Concept concept)

Returns true iff the given concept is a superconcept of the object.

hasSubConcept

public boolean hasSubConcept(Concept concept)

Returns true iff the given concept is a subconcept of the object.

getDownset

public java.util.Collection getDownset()

getUpset

public java.util.Collection getUpset()

isMeetIrreducible

public boolean isMeetIrreducible()

isJoinIrreducible

public boolean isJoinIrreducible()

getTopConcept

public Concept getTopConcept()

getBottomConcept

public Concept getBottomConcept()