Type for storing reasons for variable assignments together with additional data. More...
#include <solver_types.h>
Inheritance diagram for Clasp::ReasonStore64:
Classes | |
| struct | value_type |
Public Member Functions | |
| uint32 | data (uint32 v) const |
| void | dataResize (uint32 nv) |
| uint32 | dataSize () const |
| void | setData (uint32 v, uint32 data) |
Public Attributes | |
| VarVec | data_ |
Detailed Description
Type for storing reasons for variable assignments together with additional data.
Definition at line 607 of file solver_types.h.
Member Function Documentation
| uint32 Clasp::ReasonStore64::data | ( | uint32 | v | ) | const [inline] |
Definition at line 610 of file solver_types.h.
| void Clasp::ReasonStore64::dataResize | ( | uint32 | nv | ) | [inline] |
Definition at line 609 of file solver_types.h.
| uint32 Clasp::ReasonStore64::dataSize | ( | ) | const [inline] |
Definition at line 608 of file solver_types.h.
| void Clasp::ReasonStore64::setData | ( | uint32 | v, |
| uint32 | data | ||
| ) | [inline] |
Definition at line 611 of file solver_types.h.
Member Data Documentation
Definition at line 612 of file solver_types.h.
The documentation for this struct was generated from the following file: