Clasp::ExtendedStats Struct Reference

A struct for holding (optional) extra statistics. More...

#include <solver_types.h>

List of all members.

Public Types
typedef uint64	Array [Constraint_t::max_value]
typedef ConstraintType	type_t
Public Member Functions
void	accu (const ExtendedStats &o)
void	addLearnt (uint32 size, type_t t)
double	avgDistLbd () const
double	avgGp () const
double	avgIntJump () const
double	avgLen (type_t t) const
double	avgModel () const
double	distRatio () const
	ExtendedStats ()
double	intRatio () const
uint64	learntLits () const
uint64	lemmas () const
uint64	lemmas (type_t t) const
double	operator[] (const char *key) const
void	reset ()
Static Public Member Functions
static const char *	keys (const char *path)

---

Detailed Description

A struct for holding (optional) extra statistics.

Definition at line 99 of file solver_types.h.

---

Member Typedef Documentation

typedef uint64 Clasp::ExtendedStats::Array[Constraint_t::max_value]

Definition at line 101 of file solver_types.h.

typedef ConstraintType Clasp::ExtendedStats::type_t

Definition at line 100 of file solver_types.h.

---

Constructor & Destructor Documentation

Clasp::ExtendedStats::ExtendedStats

(

)

[inline]

Definition at line 129 of file solver_types.h.

---

Member Function Documentation

void Clasp::ExtendedStats::accu

(

const ExtendedStats &

o

)

[inline]

Definition at line 131 of file solver_types.h.

void Clasp::ExtendedStats::addLearnt	(	uint32	size,
		type_t	t
	)		[inline]

Definition at line 142 of file solver_types.h.

double Clasp::ExtendedStats::avgDistLbd

(

)

const [inline]

Definition at line 155 of file solver_types.h.

double Clasp::ExtendedStats::avgGp

(

)

const [inline]

Definition at line 157 of file solver_types.h.

double Clasp::ExtendedStats::avgIntJump

(

)

const [inline]

Definition at line 156 of file solver_types.h.

double Clasp::ExtendedStats::avgLen

(

type_t

t

)

const [inline]

Definition at line 152 of file solver_types.h.

double Clasp::ExtendedStats::avgModel

(

)

const [inline]

Definition at line 153 of file solver_types.h.

double Clasp::ExtendedStats::distRatio

(

)

const [inline]

Definition at line 154 of file solver_types.h.

double Clasp::ExtendedStats::intRatio

(

)

const [inline]

Definition at line 158 of file solver_types.h.

static const char* Clasp::ExtendedStats::keys

(

const char *

path

)

[inline, static]

Definition at line 138 of file solver_types.h.

uint64 Clasp::ExtendedStats::learntLits

(

)

const [inline]

Definition at line 150 of file solver_types.h.

uint64 Clasp::ExtendedStats::lemmas

(

)

const [inline]

Definition at line 149 of file solver_types.h.

uint64 Clasp::ExtendedStats::lemmas

(

type_t

t

)

const [inline]

Definition at line 151 of file solver_types.h.

double Clasp::ExtendedStats::operator[]

(

const char *

key

)

const [inline]

Definition at line 134 of file solver_types.h.

void Clasp::ExtendedStats::reset

(

)

[inline]

Definition at line 130 of file solver_types.h.

---

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

• solver_types.h