Inheritance diagram for Clasp::ReasonStore32:

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: