#include <Value.h>
Inheritance diagram for Value:

Public Member Functions | |
| Value (const int v, const double weight) | |
| Value (const Value &v) | |
| double | weight () const |
| Value & | operator= (const Value &v) |
| Value () | |
| Constructor. | |
| virtual | ~Value () |
| Destructor. | |
| Value (const Value &) | |
| Copy constructor. | |
| Value & | operator= (const Value &) |
| Assignment operator. | |
| void | setId (id_t id) |
| Set the value's id. | |
| id_t | id () const |
| Return the value's id. | |
| ulonglong | failures () const |
| void | incrementFailures () |
| Increment the value's number of failures. | |
| virtual wostream & | print (wostream &wos) const |
| Print the value at the given stream. | |
Friends | |
| CSP_API wostream & | operator<< (wostream &wos, const Value &value) |
| Output operator. | |
|
|
Return the number of consistency failures this value was involved in. |
1.3.9.1