Clasp::ProblemStats Struct Reference

A struct for aggregating basic problem statistics. More...

#include <shared_context.h>

Collaboration diagram for Clasp::ProblemStats:

Public Member Functions
	ProblemStats ()
void	reset ()
uint32	numConstraints () const
void	diff (const ProblemStats &o)
double	operator[] (const char *key) const

Static Public Member Functions
static const char *	keys (const char *=0)

Public Attributes
uint32	vars
uint32	vars_eliminated
uint32	vars_frozen
uint32	constraints
uint32	constraints_binary
uint32	constraints_ternary
uint32	complexity

Detailed Description

A struct for aggregating basic problem statistics.

Maintained in SharedContext.

Constructor & Destructor Documentation

Clasp::ProblemStats::ProblemStats ( )

inline

Here is the call graph for this function:

Member Function Documentation

void Clasp::ProblemStats::diff ( const ProblemStats &  o )

inline

const char * Clasp::ProblemStats::keys ( const char *  k = 0 )

static

uint32 Clasp::ProblemStats::numConstraints ( ) const

inline

double Clasp::ProblemStats::operator[]

(

const char *

key

)

const

void Clasp::ProblemStats::reset ( )

inline

Member Data Documentation

uint32 Clasp::ProblemStats::complexity

uint32 Clasp::ProblemStats::constraints

uint32 Clasp::ProblemStats::constraints_binary

uint32 Clasp::ProblemStats::constraints_ternary

uint32 Clasp::ProblemStats::vars

uint32 Clasp::ProblemStats::vars_eliminated

uint32 Clasp::ProblemStats::vars_frozen

---

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

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