qvar Struct Reference

List of all members.

Public Member Functions
bool	operator< (const qvar &other) const
Public Attributes
long int	id
int	var_id

---

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

• solver/UniversalInstantiator.h