Uses of Class
de.uni_freiburg.informatik.ultimate.logic.FunctionSymbol

Packages that use FunctionSymbol

Package	Description
de.uni_freiburg.informatik.ultimate.logic

Uses of FunctionSymbol in de.uni_freiburg.informatik.ultimate.logic

Methods in de.uni_freiburg.informatik.ultimate.logic that return FunctionSymbol

Modifier and Type	Method and Description
FunctionSymbol	ApplicationTerm.getFunction() Get the function symbol.

Methods in de.uni_freiburg.informatik.ultimate.logic that return types with arguments of type FunctionSymbol

Modifier and Type	Method and Description
java.util.Set<FunctionSymbol>	Model.getDefinedFunctions() Get the set of function symbols for which the model defines the value.