Clasp::Asp::LpStats Class Reference

Program statistics for one incremental step. More...

#include <logic_program.h>

Collaboration diagram for Clasp::Asp::LpStats:

Public Types
typedef std::pair< uint32, uint32 >	RPair

Public Member Functions
	LpStats ()
void	reset ()
uint32	eqs () const
uint32	eqs (VarType t) const
uint32	rules () const
RPair	rules (RuleType t) const
RPair &	rules (RuleType t)
bool	tr () const
void	incEqs (VarType t)
void	upRule (RuleType t, int32 i)
void	trRule (RuleType t, uint32 i)
void	accu (const LpStats &o)
double	operator[] (const char *key) const

Static Public Member Functions
static const char *	keys (const char *path)

Public Attributes
uint32	bodies
uint32	atoms
uint32	auxAtoms
uint32	sccs
uint32	nonHcfs
uint32	gammas
uint32	ufsNodes

Detailed Description

Program statistics for one incremental step.

Member Typedef Documentation

typedef std::pair<uint32, uint32> Clasp::Asp::LpStats::RPair

Constructor & Destructor Documentation

Clasp::Asp::LpStats::LpStats ( )

inline

Here is the call graph for this function:

Member Function Documentation

void Clasp::Asp::LpStats::accu

(

const LpStats &

o

)

uint32 Clasp::Asp::LpStats::eqs ( ) const

inline

Here is the call graph for this function:

uint32 Clasp::Asp::LpStats::eqs ( VarType  t ) const

inline

void Clasp::Asp::LpStats::incEqs ( VarType  t )

inline

const char * Clasp::Asp::LpStats::keys ( const char *  path )

static

double Clasp::Asp::LpStats::operator[]

(

const char *

key

)

const

Here is the call graph for this function:

void Clasp::Asp::LpStats::reset

(

)

uint32 Clasp::Asp::LpStats::rules

(

)

const

RPair Clasp::Asp::LpStats::rules ( RuleType  t ) const

inline

Here is the call graph for this function:

RPair& Clasp::Asp::LpStats::rules ( RuleType  t )

inline

Here is the call graph for this function:

bool Clasp::Asp::LpStats::tr ( ) const

inline

void Clasp::Asp::LpStats::trRule ( RuleType  t, uint32  i  )

inline

Here is the call graph for this function:

void Clasp::Asp::LpStats::upRule ( RuleType  t, int32  i  )

inline

Here is the call graph for this function:

Member Data Documentation

uint32 Clasp::Asp::LpStats::atoms

Number of program atoms

uint32 Clasp::Asp::LpStats::auxAtoms

Number of aux atoms created

uint32 Clasp::Asp::LpStats::bodies

How many body-objects were created?

uint32 Clasp::Asp::LpStats::gammas

How many non-hcf gamma rules

uint32 Clasp::Asp::LpStats::nonHcfs

How many non head-cycle free components?

uint32 Clasp::Asp::LpStats::sccs

How many strongly connected components?

uint32 Clasp::Asp::LpStats::ufsNodes

How many nodes in the positive BADG?

---

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

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