Clasp::ProblemStats Struct Reference

#include <shared_context.h>

List of all members.

Public Member Functions
void	diff (const ProblemStats &o)
uint32	numConstraints () const
double	operator[] (const char *key) const
	ProblemStats ()
void	reset ()
Static Public Member Functions
static const char *	keys (const char *=0)
Public Attributes
uint32	complexity
uint32	constraints
uint32	constraints_binary
uint32	constraints_ternary
uint32	vars
uint32	vars_eliminated
uint32	vars_frozen

---

Detailed Description

A struct for aggregating basic problem statistics.

Maintained in SharedContext.

Definition at line 167 of file shared_context.h.

---

Constructor & Destructor Documentation

Clasp::ProblemStats::ProblemStats

(

)

[inline]

Definition at line 168 of file shared_context.h.

---

Member Function Documentation

void Clasp::ProblemStats::diff

(

const ProblemStats &

o

)

[inline]

Definition at line 178 of file shared_context.h.

const char * Clasp::ProblemStats::keys

(

const char *

k = 0

)

[static]

Definition at line 40 of file shared_context.cpp.

uint32 Clasp::ProblemStats::numConstraints

(

)

const [inline]

Definition at line 177 of file shared_context.h.

double Clasp::ProblemStats::operator[]

(

const char *

key

)

const

Definition at line 28 of file shared_context.cpp.

void Clasp::ProblemStats::reset

(

)

[inline]

Definition at line 176 of file shared_context.h.

---

Member Data Documentation

uint32 Clasp::ProblemStats::complexity

Definition at line 175 of file shared_context.h.

uint32 Clasp::ProblemStats::constraints

Definition at line 172 of file shared_context.h.

uint32 Clasp::ProblemStats::constraints_binary

Definition at line 173 of file shared_context.h.

uint32 Clasp::ProblemStats::constraints_ternary

Definition at line 174 of file shared_context.h.

uint32 Clasp::ProblemStats::vars

Definition at line 169 of file shared_context.h.

uint32 Clasp::ProblemStats::vars_eliminated

Definition at line 170 of file shared_context.h.

uint32 Clasp::ProblemStats::vars_frozen

Definition at line 171 of file shared_context.h.

---

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

• shared_context.h
• shared_context.cpp