de.uka.ilkd.key.smt.lang

Class SMTFunction

java.lang.Object

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

Direct Known Subclasses:

SMTFunctionDef

public class SMTFunction
extends java.lang.Object

Author:

Aboubakr Achraf El Ghazi

Field Summary

Fields

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 Summary

Constructors

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)

Method Summary

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()

Methods inherited from class java.lang.Object

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

Field Detail

comment

protected java.lang.String comment

id

protected java.lang.String id

domainSorts

protected java.util.List<SMTSort> domainSorts

imageSort

protected SMTSort imageSort

Constructor Detail

SMTFunction

public SMTFunction()

Parameters:

id -

domainSorts -

SMTFunction

public SMTFunction(java.lang.String id,
                   java.util.List<SMTSort> domainSorts,
                   SMTSort imageSort)

SMTFunction

public SMTFunction(java.lang.String id,
                   SMTSort argSort1,
                   SMTSort argSort2,
                   SMTSort imageSort)

Method Detail

getComment

public java.lang.String getComment()

setComment

public void setComment(java.lang.String comment)

getImageSort

public SMTSort getImageSort()

setImageSort

public void setImageSort(SMTSort imageSort)

getId

public java.lang.String getId()

setId

public void setId(java.lang.String id)

processString

public java.lang.String processString(java.lang.String id)

getDomainSorts

public java.util.List<SMTSort> getDomainSorts()

Returns:

the domainSorts

setDomainSorts

public void setDomainSorts(java.util.List<SMTSort> domainSorts)

Parameters:

domainSorts - the domainSorts to set

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object