public class VNodeObjectSomeValuesFromImpl extends Object implements VNodeObjectSomeValuesFrom
VNodeObjectSomeValuesFrom
Constructor and Description |
---|
VNodeObjectSomeValuesFromImpl(int objectProp,
int cls)
Constructs a new existential expression.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
int |
getClassId()
Returns the class identifier.
|
int |
getObjectPropertyId()
Returns the object property identifier.
|
int |
hashCode() |
String |
toString() |
public VNodeObjectSomeValuesFromImpl(int objectProp, int cls)
objectProp
- object property identifiercls
- class identifierpublic int getClassId()
VNodeObjectSomeValuesFrom
getClassId
in interface VNodeObjectSomeValuesFrom
public int getObjectPropertyId()
VNodeObjectSomeValuesFrom
getObjectPropertyId
in interface VNodeObjectSomeValuesFrom
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.