UniversalInstantiator Class Reference

List of all members.

Public Member Functions
	UniversalInstantiator (CNode *node, bool *success=NULL)
CNode *	get_constraint ()

---

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

• solver/UniversalInstantiator.h
• solver/UniversalInstantiator.cpp