Collaboration diagram for Clasp::Asp::BodyInfo:

Public Types
enum	BodyType { NORMAL_BODY = 0, COUNT_BODY = 1, SUM_BODY = 2 }

Public Member Functions
void	reset ()

void	init (BodyType t, weight_t b, uint32 h, uint32 posSize)

void	init (RuleType t, weight_t b, uint32 h, uint32 posSize)

uint32	size () const

uint32	posSize () const

weight_t	bound () const

BodyType	type () const

const WeightLiteral &	operator[] (uint32 i) const

WeightLiteral &	operator[] (uint32 i)

weight_t	weight (Literal x) const

uint32	findLit (Literal x) const

weight_t	sum () const

RuleType	ruleType () const

Member Enumeration Documentation

Member Function Documentation

weight_t Clasp::Asp::BodyInfo::bound ( ) const

inline

uint32 Clasp::Asp::BodyInfo::findLit ( Literal x ) const

inline

Here is the call graph for this function:

inline

Here is the call graph for this function:

const WeightLiteral& Clasp::Asp::BodyInfo::operator[] ( uint32 i ) const

inline

WeightLiteral& Clasp::Asp::BodyInfo::operator[] ( uint32 i )

inline

uint32 Clasp::Asp::BodyInfo::posSize ( ) const

inline

void Clasp::Asp::BodyInfo::reset ( )

inline

RuleType Clasp::Asp::BodyInfo::ruleType ( ) const

inline

Here is the call graph for this function:

uint32 Clasp::Asp::BodyInfo::size ( ) const

inline

weight_t Clasp::Asp::BodyInfo::sum ( ) const

BodyType Clasp::Asp::BodyInfo::type ( ) const

inline

weight_t Clasp::Asp::BodyInfo::weight ( Literal x ) const

inline

Here is the call graph for this function:

uint32 Clasp::Asp::BodyInfo::hash

WeightLitVec Clasp::Asp::BodyInfo::lits

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

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/logic_program_types.h
/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/logic_program_types.cpp