SatValue Class Reference

List of all members.

Public Member Functions
string	to_string ()
Public Attributes
bool	integer
bignum	value

---

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

• solver/SatValue.h
• solver/SatValue.cpp