de.uka.ilkd.key.smt.lang

Class SMTFunctionDef

java.lang.Object

de.uka.ilkd.key.smt.lang.SMTFunction

de.uka.ilkd.key.smt.lang.SMTFunctionDef

public class SMTFunctionDef
extends SMTFunction

Field Summary

Fields

Modifier and Type	Field and Description
private SMTTerm	sub
private java.util.List<SMTTermVariable>	vars

Fields inherited from class de.uka.ilkd.key.smt.lang.SMTFunction

comment, domainSorts, id, imageSort

Constructor Summary

Constructors

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)

Method Summary

Modifier and Type	Method and Description
SMTTerm	getSub()
java.util.List<SMTTermVariable>	getVars()
java.lang.String	toString()

Methods inherited from class de.uka.ilkd.key.smt.lang.SMTFunction

equals, getComment, getDomainSorts, getId, getImageSort, hashCode, processString, setComment, setDomainSorts, setId, setImageSort

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

sub

private SMTTerm sub

vars

private java.util.List<SMTTermVariable> vars

Constructor Detail

SMTFunctionDef

public SMTFunctionDef(java.lang.String id,
                      java.util.List<SMTTermVariable> vars,
                      SMTSort image,
                      SMTTerm sub)

SMTFunctionDef

public SMTFunctionDef(java.lang.String id,
                      SMTTermVariable var,
                      SMTSort image,
                      SMTTerm sub)

SMTFunctionDef

public SMTFunctionDef(SMTFunction f,
                      java.util.List<SMTTermVariable> vars,
                      SMTTerm sub)

SMTFunctionDef

public SMTFunctionDef(SMTFunction f,
                      SMTTermVariable var,
                      SMTTerm sub)

Method Detail

getSub

public SMTTerm getSub()

getVars

public java.util.List<SMTTermVariable> getVars()

toString

public java.lang.String toString()

Overrides:

toString in class SMTFunction