Clasp::Asp::PrgBody::SumExtra Struct Reference

List of all members.

Public Types
enum	{ LIT_OFFSET = sizeof(void*)/sizeof(uint32) }
Public Member Functions
void	destroy ()
Static Public Member Functions
static SumExtra *	create (uint32 size)
Public Attributes
weight_t	bound
weight_t	sumW
weight_t	weights [0]

---

Detailed Description

Definition at line 618 of file logic_program_types.h.

---

Member Enumeration Documentation

anonymous enum

Enumerator:

LIT_OFFSET

Definition at line 619 of file logic_program_types.h.

---

Member Function Documentation

PrgBody::SumExtra * Clasp::Asp::PrgBody::SumExtra::create

(

uint32

size

)

[static]

Definition at line 814 of file logic_program_types.cpp.

void Clasp::Asp::PrgBody::SumExtra::destroy

(

)

Definition at line 818 of file logic_program_types.cpp.

---

Member Data Documentation

weight_t Clasp::Asp::PrgBody::SumExtra::bound

Definition at line 622 of file logic_program_types.h.

weight_t Clasp::Asp::PrgBody::SumExtra::sumW

Definition at line 623 of file logic_program_types.h.

weight_t Clasp::Asp::PrgBody::SumExtra::weights[0]

Definition at line 624 of file logic_program_types.h.

---

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

• logic_program_types.h
• logic_program_types.cpp