fun_bg Struct Reference

List of all members.

Public Attributes
CNode *	key
Term *	quantified_var
CNode *	nc_val
CNode *	sc_val

---

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

• ConstraintSolver.h