ilang::Func Member List

This is the complete list of members for ilang::Func, including all inherited members.

arg(const int &i) const	ilang::Func	inline
arg_num() const	ilang::Func	inline
Ast()	ilang::Ast	inline
Ast(const std::string &name)	ilang::Ast	inline
CheckSort(const std::vector< std::shared_ptr< Expr >> &args) const	ilang::Func
Func(const std::string &name, const SortPtr out, const std::vector< SortPtr > &args)	ilang::Func
FuncPtr typedef	ilang::Func
GetZ3FuncDecl(z3::context &ctx) const	ilang::Func
host() const	ilang::Ast	inline
InstrLvlAbsPtr typedef	ilang::Ast	protected
is_ast() const	ilang::Ast	inlinevirtual
is_expr() const	ilang::Ast	inlinevirtual
is_func() const	ilang::Ast	inlinevirtual
is_instr() const	ilang::Object	inlinevirtual
is_instr_lvl_abs() const	ilang::Object	inlinevirtual
name() const	ilang::Object
New(const std::string &name, const SortPtr out=Sort::MakeBoolSort())	ilang::Func	static
New(const std::string &name, const SortPtr out, const SortPtr arg0)	ilang::Func	static
New(const std::string &name, const SortPtr out, const SortPtr arg0, const SortPtr arg1)	ilang::Func	static
New(const std::string &name, const SortPtr out, const std::vector< SortPtr > &args)	ilang::Func	static
Object()	ilang::Object
Object(const std::string &name)	ilang::Object
ObjPtr typedef	ilang::Object
operator<<(std::ostream &out, const FuncPtr &f)	ilang::Func	friend
out() const	ilang::Func	inline
Print(std::ostream &out) const	ilang::Func	virtual
set_host(const InstrLvlAbsPtr &host)	ilang::Ast	inline
~Ast()	ilang::Ast	inlinevirtual
~Func()	ilang::Func
~Object()	ilang::Object	virtual