public class SMTFunction extends Object
Modifier and Type | Field and Description |
---|---|
protected String |
comment |
protected List<SMTSort> |
domainSorts |
protected String |
id |
protected SMTSort |
imageSort |
Constructor and Description |
---|
SMTFunction() |
SMTFunction(String id,
List<SMTSort> domainSorts,
SMTSort imageSort) |
SMTFunction(String id,
SMTSort argSort1,
SMTSort argSort2,
SMTSort imageSort) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
String |
getComment() |
List<SMTSort> |
getDomainSorts() |
String |
getId() |
SMTSort |
getImageSort() |
int |
hashCode() |
String |
processString(String id) |
void |
setComment(String comment) |
void |
setDomainSorts(List<SMTSort> domainSorts) |
void |
setId(String id) |
void |
setImageSort(SMTSort imageSort) |
String |
toString() |
protected String comment
protected String id
protected SMTSort imageSort
public String getComment()
public void setComment(String comment)
public SMTSort getImageSort()
public void setImageSort(SMTSort imageSort)
public String getId()
public void setId(String id)
public void setDomainSorts(List<SMTSort> domainSorts)
domainSorts
- the domainSorts to set