Clasp::Asp::LpStats Class Reference

Program statistics for *one* incremental step. More...

#include <logic_program.h>

List of all members.

Public Types
typedef std::pair< uint32, uint32 >	RPair
Public Member Functions
void	accu (const LpStats &o)
uint32	eqs () const
uint32	eqs (VarType t) const
void	incEqs (VarType t)
	LpStats ()
double	operator[] (const char *key) const
void	reset ()
uint32	rules () const
RPair	rules (RuleType t) const
RPair &	rules (RuleType t)
bool	tr () const
void	trRule (RuleType t, uint32 i)
void	upRule (RuleType t, int32 i)
Static Public Member Functions
static const char *	keys (const char *path)
Public Attributes
uint32	atoms
uint32	auxAtoms
uint32	bodies
uint32	gammas
uint32	nonHcfs
uint32	sccs
uint32	ufsNodes
Private Attributes
uint32	eqs_ [3]
RPair	rules_ [NUM_RULE_TYPES]

---

Detailed Description

Program statistics for *one* incremental step.

Definition at line 35 of file logic_program.h.

---

Member Typedef Documentation

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

Definition at line 37 of file logic_program.h.

---

Constructor & Destructor Documentation

Clasp::Asp::LpStats::LpStats

(

)

[inline]

Definition at line 38 of file logic_program.h.

---

Member Function Documentation

void Clasp::Asp::LpStats::accu

(

const LpStats &

o

)

Definition at line 49 of file logic_program.cpp.

uint32 Clasp::Asp::LpStats::eqs

(

)

const [inline]

Definition at line 40 of file logic_program.h.

uint32 Clasp::Asp::LpStats::eqs

(

VarType

t

)

const [inline]

Definition at line 41 of file logic_program.h.

void Clasp::Asp::LpStats::incEqs

(

VarType

t

)

[inline]

Definition at line 46 of file logic_program.h.

const char * Clasp::Asp::LpStats::keys

(

const char *

path

)

[static]

Definition at line 100 of file logic_program.cpp.

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

(

const char *

key

)

const

Definition at line 70 of file logic_program.cpp.

void Clasp::Asp::LpStats::reset

(

)

Definition at line 41 of file logic_program.cpp.

uint32 Clasp::Asp::LpStats::rules

(

)

const

Definition at line 44 of file logic_program.cpp.

RPair Clasp::Asp::LpStats::rules

(

RuleType

t

)

const [inline]

Definition at line 43 of file logic_program.h.

RPair& Clasp::Asp::LpStats::rules

(

RuleType

t

)

[inline]

Definition at line 44 of file logic_program.h.

bool Clasp::Asp::LpStats::tr

(

)

const [inline]

Definition at line 45 of file logic_program.h.

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

Definition at line 48 of file logic_program.h.

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

Definition at line 47 of file logic_program.h.

---

Member Data Documentation

uint32 Clasp::Asp::LpStats::atoms

Number of program atoms

Definition at line 53 of file logic_program.h.

uint32 Clasp::Asp::LpStats::auxAtoms

Number of aux atoms created

Definition at line 54 of file logic_program.h.

uint32 Clasp::Asp::LpStats::bodies

How many body-objects were created?

Definition at line 52 of file logic_program.h.

uint32 Clasp::Asp::LpStats::eqs_[3] [private]

How many equivalences?: eqs[0]: Atom-Atom, eqs[1]: Body-Body, eqs[2]: Other

Definition at line 60 of file logic_program.h.

uint32 Clasp::Asp::LpStats::gammas

How many non-hcf gamma rules

Definition at line 57 of file logic_program.h.

uint32 Clasp::Asp::LpStats::nonHcfs

How many non head-cycle free components?

Definition at line 56 of file logic_program.h.

RPair Clasp::Asp::LpStats::rules_[NUM_RULE_TYPES] [private]

Number of rules before/after translation.

Definition at line 61 of file logic_program.h.

uint32 Clasp::Asp::LpStats::sccs

How many strongly connected components?

Definition at line 55 of file logic_program.h.

uint32 Clasp::Asp::LpStats::ufsNodes

How many nodes in the positive BADG?

Definition at line 58 of file logic_program.h.

---

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

• logic_program.h
• logic_program.cpp