FunctionDefinition Class Reference

Public Member Functions
	FunctionDefinition (std::vector< Variable > parameters, Sort return_type, Term body)
Term	operator() (const std::vector< Term > &arguments) const

---

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

• /home/soonhokong/work/dreal4/dreal/smt2/driver.h
• /home/soonhokong/work/dreal4/dreal/smt2/driver.cc