#include <solver_types.h>
Public Member Functions | |
const Antecedent & | ante () const |
uint32 | data () const |
value_type (const Antecedent &a, uint32 d) |
Definition at line 613 of file solver_types.h.
Clasp::ReasonStore64::value_type::value_type | ( | const Antecedent & | a, |
uint32 | d | ||
) | [inline] |
Definition at line 614 of file solver_types.h.
const Antecedent& Clasp::ReasonStore64::value_type::ante | ( | ) | const [inline] |
Definition at line 615 of file solver_types.h.
uint32 Clasp::ReasonStore64::value_type::data | ( | ) | const [inline] |
Definition at line 616 of file solver_types.h.