Clasp::ReasonStore32::value_type Struct Reference

#include <solver_types.h>

List of all members.

Public Member Functions
const Antecedent &	ante () const
uint32	data () const
	value_type (const Antecedent &a, uint32 d)
Public Attributes
Antecedent	ante_

---

Detailed Description

Definition at line 593 of file solver_types.h.

---

Constructor & Destructor Documentation

Clasp::ReasonStore32::value_type::value_type	(	const Antecedent &	a,
		uint32	d
	)		[inline]

Definition at line 594 of file solver_types.h.

---

Member Function Documentation

const Antecedent& Clasp::ReasonStore32::value_type::ante

(

)

const [inline]

Definition at line 597 of file solver_types.h.

uint32 Clasp::ReasonStore32::value_type::data

(

)

const [inline]

Definition at line 598 of file solver_types.h.

---

Member Data Documentation

Antecedent Clasp::ReasonStore32::value_type::ante_

Definition at line 599 of file solver_types.h.

---

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

• solver_types.h