public class OracleVariable extends Object implements OracleTerm
private String
name
private Sort
sort
OracleVariable(String name, Sort sort)
String
getName()
Sort
getSort()
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
private String name
private Sort sort
public OracleVariable(String name, Sort sort)
public String getName()
public Sort getSort()
public String toString()
toString
Object