Classes | Public Member Functions | Static Public Member Functions
Clasp::ReasonStore32 Struct Reference

#include <solver_types.h>

Inheritance diagram for Clasp::ReasonStore32:
Inheritance graph
[legend]

List of all members.

Classes

struct  value_type

Public Member Functions

uint32 data (uint32 v) const
void dataResize (uint32)
uint32 dataSize () const
void setData (uint32 v, uint32 data)

Static Public Member Functions

static uint32 decode (const Antecedent &a)
static void encode (Antecedent &a, uint32 data)

Detailed Description

Type for storing reasons for variable assignments together with additional data.

Note:
On 32-bit systems additional data is stored in the high-word of antecedents.

Definition at line 582 of file solver_types.h.


Member Function Documentation

uint32 Clasp::ReasonStore32::data ( uint32  v) const [inline]

Definition at line 585 of file solver_types.h.

void Clasp::ReasonStore32::dataResize ( uint32  ) [inline]

Definition at line 584 of file solver_types.h.

uint32 Clasp::ReasonStore32::dataSize ( ) const [inline]

Definition at line 583 of file solver_types.h.

static uint32 Clasp::ReasonStore32::decode ( const Antecedent a) [inline, static]

Definition at line 590 of file solver_types.h.

static void Clasp::ReasonStore32::encode ( Antecedent a,
uint32  data 
) [inline, static]

Definition at line 587 of file solver_types.h.

void Clasp::ReasonStore32::setData ( uint32  v,
uint32  data 
) [inline]

Definition at line 586 of file solver_types.h.


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


clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:41