public class OracleVariable extends java.lang.Object implements OracleTerm
Constructor and Description |
---|
OracleVariable(java.lang.String name,
Sort sort) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getName() |
Sort |
getSort() |
int |
hashCode() |
java.lang.String |
toString() |
public OracleVariable(java.lang.String name, Sort sort)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String getName()
public Sort getSort()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.