public interface VNode
Modifier and Type | Method and Description |
---|---|
boolean |
containsExistential(int objectPropertyId,
int classId)
Tells whether this node contains the given existential expression.
|
int |
getClassId()
Returns the class identifier for this node.
|
Collection<VNodeObjectSomeValuesFrom> |
getExistentialEntries()
Returns a collection containing the existential expressions.
|
boolean |
isEmpty()
Tell whether a node has an empty set of existential expressions.
|
boolean containsExistential(int objectPropertyId, int classId)
objectPropertyId
- object property identifierclassId
- class identifiertrue
if and only if the node contains the given
existential entryint getClassId()
Collection<VNodeObjectSomeValuesFrom> getExistentialEntries()
boolean isEmpty()
true
if and only if this node contains an empty set
of existential expressionsCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.