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