public class SMTFunctionDef extends SMTFunction
Modifier and Type | Field and Description |
---|---|
private SMTTerm |
sub |
private List<SMTTermVariable> |
vars |
comment, domainSorts, id, imageSort
Constructor and Description |
---|
SMTFunctionDef(SMTFunction f,
List<SMTTermVariable> vars,
SMTTerm sub) |
SMTFunctionDef(SMTFunction f,
SMTTermVariable var,
SMTTerm sub) |
SMTFunctionDef(String id,
List<SMTTermVariable> vars,
SMTSort image,
SMTTerm sub) |
SMTFunctionDef(String id,
SMTTermVariable var,
SMTSort image,
SMTTerm sub) |
Modifier and Type | Method and Description |
---|---|
SMTTerm |
getSub() |
List<SMTTermVariable> |
getVars() |
String |
toString() |
equals, getComment, getDomainSorts, getId, getImageSort, hashCode, processString, setComment, setDomainSorts, setId, setImageSort
private SMTTerm sub
private List<SMTTermVariable> vars
public SMTFunctionDef(String id, List<SMTTermVariable> vars, SMTSort image, SMTTerm sub)
public SMTFunctionDef(String id, SMTTermVariable var, SMTSort image, SMTTerm sub)
public SMTFunctionDef(SMTFunction f, List<SMTTermVariable> vars, SMTTerm sub)
public SMTFunctionDef(SMTFunction f, SMTTermVariable var, SMTTerm sub)
public SMTTerm getSub()
public List<SMTTermVariable> getVars()
public String toString()
toString
in class SMTFunction