Constructor and Description |
---|
VNodeImpl(int id)
Constructs a new node.
|
Modifier and Type | Method and Description |
---|---|
boolean |
addExistential(int propertyId,
int classId)
Adds an existential pair to this node.
|
boolean |
addExistentialsOf(VNode other)
Adds the existential pairs of another node.
|
boolean |
containsExistential(int propertyId,
int classId)
Tells whether this node contains the given existential expression.
|
boolean |
equals(Object o) |
int |
getClassId()
Returns the class identifier for this node.
|
long |
getDeepSize()
Returns the number of elements in the set of entries.
|
Collection<VNodeObjectSomeValuesFrom> |
getExistentialEntries()
Returns a collection containing the existential expressions.
|
int |
hashCode() |
boolean |
isEmpty()
Tell whether a node has an empty set of existential expressions.
|
String |
toString() |
public VNodeImpl(int id)
id
- class identifierpublic boolean addExistential(int propertyId, int classId)
propertyId
- object property identifier in the pairclassId
- class identifier in the pairtrue
if and only if the node did not already contain
the specified pairpublic boolean addExistentialsOf(VNode other)
other
- a nodetrue
if and only if set of pairs was changedpublic boolean containsExistential(int propertyId, int classId)
VNode
containsExistential
in interface VNode
propertyId
- object property identifierclassId
- class identifiertrue
if and only if the node contains the given
existential entrypublic int getClassId()
VNode
getClassId
in interface VNode
public long getDeepSize()
public Collection<VNodeObjectSomeValuesFrom> getExistentialEntries()
VNode
getExistentialEntries
in interface VNode
public boolean isEmpty()
VNode
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.