See: Description
Interface | Description |
---|---|
IntegerBinaryRelation |
This interface models a binary relation.
|
IntegerHierarchicalGraph |
This interface is implemented by classes modeling a directed graph
considering equivalent classes.
|
IntegerRelationMap |
This interface models a map of binary relations.
|
IntegerSubsumerBidirectionalGraph |
This interface models a subsumer graph where it is possible to get also the
subsumees for a particular vertex.
|
IntegerSubsumerGraph |
This interface models a subsumer graph.
|
VNode |
Represents a pair containing a class and a set of expressions of the form
∃ r . A .
|
VNodeObjectSomeValuesFrom |
Represents an existential expression, which is of the form ∃ r .
A , where r is an object property and A is a class.
|
Class | Description |
---|---|
ArraySet |
This class implements a set of integers using a sorted array of
int with exponential growth. |
ArraySetIterator |
This class implements an iterator for an array set.
|
HashArraySet |
This class implements a set of integers using an array of
int
with exponential growth. |
HashArraySetIterator |
This class implements an iterator for a hash array set.
|
IntegerBinaryRelationImpl |
This class implements a binary relation.
|
IntegerHierarchicalGraphImpl |
This class implements the algorithm that computes the class hierarchy from
the subsumer set.
|
IntegerRelationMapImpl |
This class implements a map of binary relations.
|
IntegerSubsumerBidirectionalGraphImpl |
This class implements a subsumer invGraph.
|
IntegerSubsumerGraphImpl |
This class implements a subsumer graph.
|
VNodeImpl |
This class implements a node which is a pair of a class and a set of
existential expressions.
|
VNodeObjectSomeValuesFromImpl |
This class implements an existential expression.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.