ExprCtrDeleter Struct Reference

Public Member Functions
void	operator() (const ibex::ExprCtr *const p) const

---

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

• /home/soonhokong/work/dreal4/dreal/contractor/contractor_ibex_polytope.h