de.uka.ilkd.key.smt

Class AbstractSMTTranslator.FunctionWrapper

java.lang.Object

de.uka.ilkd.key.smt.AbstractSMTTranslator.FunctionWrapper

Enclosing class:

AbstractSMTTranslator

protected static class AbstractSMTTranslator.FunctionWrapper
extends java.lang.Object

remember all function declarations

Field Summary

Fields

Modifier and Type	Field and Description
private Function	function
private java.lang.StringBuffer	name
private boolean	usedForUnique

Constructor Summary

Constructors

Constructor and Description
FunctionWrapper(java.lang.StringBuffer name, Function function)

Method Summary

Modifier and Type	Method and Description
Function	getFunction()
java.lang.StringBuffer	getName()
boolean	isUsedForUnique()
void	setUsedForUnique(boolean b)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

name

private java.lang.StringBuffer name

function

private Function function

usedForUnique

private boolean usedForUnique

Constructor Detail

FunctionWrapper

public FunctionWrapper(java.lang.StringBuffer name,
                       Function function)

Parameters:

name -

function -

Method Detail

getName

public java.lang.StringBuffer getName()

Returns:

the name

getFunction

public Function getFunction()

Returns:

the function

isUsedForUnique

public boolean isUsedForUnique()

setUsedForUnique

public void setUsedForUnique(boolean b)