Clasp::Asp::RuleTransform::Impl::TodoItem Struct Reference

List of all members.

Public Member Functions
	TodoItem (uint32 i, weight_t w, Var v)
Public Attributes
weight_t	bound
uint32	idx
Var	var

---

Detailed Description

Definition at line 103 of file logic_program_types.cpp.

---

Constructor & Destructor Documentation

Clasp::Asp::RuleTransform::Impl::TodoItem::TodoItem	(	uint32	i,
		weight_t	w,
		Var	v
	)		[inline]

Definition at line 104 of file logic_program_types.cpp.

---

Member Data Documentation

weight_t Clasp::Asp::RuleTransform::Impl::TodoItem::bound

Definition at line 106 of file logic_program_types.cpp.

uint32 Clasp::Asp::RuleTransform::Impl::TodoItem::idx

Definition at line 105 of file logic_program_types.cpp.

Var Clasp::Asp::RuleTransform::Impl::TodoItem::var

Definition at line 107 of file logic_program_types.cpp.

---

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

• logic_program_types.cpp