This is the complete list of members for FunctionDefinition, including all inherited members.

FunctionDefinition(std::vector< Variable > parameters, Sort return_type, Term body) (defined in FunctionDefinition)	FunctionDefinition
operator()(const std::vector< Term > &arguments) const (defined in FunctionDefinition)	FunctionDefinition