public class IdDeclaration extends Object
private String
name
private Sort
sort
IdDeclaration(String p_name, Sort p_sort)
String
getName()
Sort
getSort()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
private String name
private Sort sort
public IdDeclaration(String p_name, Sort p_sort)
public String getName()
public Sort getSort()