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