public class ExistentialDeclaration extends Expression
Modifier and Type | Field and Description |
---|---|
protected OAVObjectType |
type
The object type.
|
protected Variable |
variable
The variable.
|
Constructor and Description |
---|
ExistentialDeclaration(OAVObjectType type,
Variable variable)
Create a new existential declaration.
|
Modifier and Type | Method and Description |
---|---|
boolean |
containsVariable(Variable var)
Test if a variable is contained in the expression.
|
boolean |
equals(java.lang.Object o)
Test if this object is equal to some object.
|
OAVObjectType |
getType()
Get the object type.
|
Variable |
getVariable()
Get the variable.
|
int |
hashCode()
Get the hash code.
|
java.lang.String |
toString()
Get a string representation of this existential declaration.
|
protected OAVObjectType type
protected Variable variable
public ExistentialDeclaration(OAVObjectType type, Variable variable)
type
- The object type.variable
- The variable.public boolean containsVariable(Variable var)
containsVariable
in class Expression
var
- The variable.public Variable getVariable()
public OAVObjectType getType()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object