ilang::FuncRef Class Reference

The wrapper of Func (uninterpreted function). More...

#include <ilang++.h>

Public Member Functions
	FuncRef (const std::string &name, const SortRef &range)
	Constructor with zero input argument (domain).
	FuncRef (const std::string &name, const SortRef &range, const SortRef &d0)
	Constructor with one input argument (domain).
	FuncRef (const std::string &name, const SortRef &range, const SortRef &d0, const SortRef &d1)
	Constructor with two input arguments (domain).
	FuncRef (const std::string &name, const SortRef &range, const std::vector< SortRef > &dvec)
	Constructor with multiple input arguments (domain).
	~FuncRef ()
	Default destructor.
std::string	name () const
	Return the function name as std::string.
FuncPtr	get () const
	Return the wrapped Func pointer.
ExprRef	operator() () const
	Apply the function with no argument.
ExprRef	operator() (const ExprRef &arg0) const
	Apply the function with one argument.
ExprRef	operator() (const ExprRef &arg0, const ExprRef &arg1) const
	Apply the function with two arguments.
ExprRef	operator() (const std::vector< ExprRef > &argvec) const
	Apply the function with multiple arguments.

Detailed Description

The wrapper of Func (uninterpreted function).

---

The documentation for this class was generated from the following file:

• ilang++.h