Clasp::Asp::BodyInfo Struct Reference

#include <logic_program_types.h>

List of all members.

Public Types
enum	BodyType { NORMAL_BODY = 0, COUNT_BODY = 1, SUM_BODY = 2 }
Public Member Functions
weight_t	bound () const
uint32	findLit (Literal x) const
void	init (BodyType t, weight_t b, uint32 h, uint32 posSize)
void	init (RuleType t, weight_t b, uint32 h, uint32 posSize)
const WeightLiteral &	operator[] (uint32 i) const
WeightLiteral &	operator[] (uint32 i)
uint32	posSize () const
void	reset ()
RuleType	ruleType () const
uint32	size () const
weight_t	sum () const
BodyType	type () const
weight_t	weight (Literal x) const
Public Attributes
uint32	hash
WeightLitVec	lits
Private Attributes
weight_t	bound_
uint32	posSize_:30
uint32	type_: 2

---

Detailed Description

Definition at line 225 of file logic_program_types.h.

---

Member Enumeration Documentation

enum Clasp::Asp::BodyInfo::BodyType

Enumerator:

NORMAL_BODY
COUNT_BODY
SUM_BODY

Definition at line 226 of file logic_program_types.h.

---

Member Function Documentation

weight_t Clasp::Asp::BodyInfo::bound

(

)

const [inline]

Definition at line 248 of file logic_program_types.h.

uint32 Clasp::Asp::BodyInfo::findLit

(

Literal

x

)

const

Definition at line 68 of file logic_program_types.cpp.

void Clasp::Asp::BodyInfo::init	(	BodyType	t,
		weight_t	b,
		uint32	h,
		uint32	posSize
	)		[inline]

Definition at line 234 of file logic_program_types.h.

void Clasp::Asp::BodyInfo::init	(	RuleType	t,
		weight_t	b,
		uint32	h,
		uint32	posSize
	)		[inline]

Definition at line 240 of file logic_program_types.h.

const WeightLiteral& Clasp::Asp::BodyInfo::operator[]

(

uint32

i

)

const [inline]

Definition at line 251 of file logic_program_types.h.

WeightLiteral& Clasp::Asp::BodyInfo::operator[]

(

uint32

i

)

[inline]

Definition at line 252 of file logic_program_types.h.

uint32 Clasp::Asp::BodyInfo::posSize

(

)

const [inline]

Definition at line 247 of file logic_program_types.h.

void Clasp::Asp::BodyInfo::reset

(

)

[inline]

Definition at line 227 of file logic_program_types.h.

RuleType Clasp::Asp::BodyInfo::ruleType

(

)

const [inline]

Definition at line 256 of file logic_program_types.h.

uint32 Clasp::Asp::BodyInfo::size

(

)

const [inline]

Definition at line 246 of file logic_program_types.h.

weight_t Clasp::Asp::BodyInfo::sum

(

)

const

Definition at line 75 of file logic_program_types.cpp.

BodyType Clasp::Asp::BodyInfo::type

(

)

const [inline]

Definition at line 249 of file logic_program_types.h.

weight_t Clasp::Asp::BodyInfo::weight

(

Literal

x

)

const [inline]

Definition at line 253 of file logic_program_types.h.

---

Member Data Documentation

weight_t Clasp::Asp::BodyInfo::bound_ [private]

Definition at line 260 of file logic_program_types.h.

uint32 Clasp::Asp::BodyInfo::hash

Definition at line 258 of file logic_program_types.h.

WeightLitVec Clasp::Asp::BodyInfo::lits

Definition at line 257 of file logic_program_types.h.

uint32 Clasp::Asp::BodyInfo::posSize_ [private]

Definition at line 261 of file logic_program_types.h.

uint32 Clasp::Asp::BodyInfo::type_ [private]

Definition at line 262 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