Clasp::ClaspFacade::Summary Struct Reference

Type summarizing one or more solving steps. More...

#include <clasp_facade.h>

List of all members.

Public Types
typedef SharedMinimizeData	SharedMinData
Public Member Functions
bool	complete () const
const char *	consequences () const
const SharedMinData *	costs () const
const SharedContext &	ctx () const
uint64	enumerated () const
void	init (ClaspFacade &f)
const Asp::LpStats *	lpStats () const
const Model *	model () const
uint64	optimal () const
bool	optimize () const
bool	optimum () const
bool	sat () const
int	stats () const
bool	unsat () const
Public Attributes
double	cpuTime
const ClaspFacade *	facade
uint64	numEnum
Result	result
double	satTime
double	solveTime
uint32	step
double	totalTime
double	unsatTime

---

Detailed Description

Type summarizing one or more solving steps.

Definition at line 136 of file clasp_facade.h.

---

Member Typedef Documentation

typedef SharedMinimizeData Clasp::ClaspFacade::Summary::SharedMinData

Definition at line 137 of file clasp_facade.h.

---

Member Function Documentation

bool Clasp::ClaspFacade::Summary::complete

(

)

const [inline]

Definition at line 144 of file clasp_facade.h.

const char * Clasp::ClaspFacade::Summary::consequences

(

)

const

Definition at line 589 of file clasp_facade.cpp.

const SharedMinimizeData * Clasp::ClaspFacade::Summary::costs

(

)

const

Definition at line 588 of file clasp_facade.cpp.

const SharedContext& Clasp::ClaspFacade::Summary::ctx

(

)

const [inline]

Definition at line 139 of file clasp_facade.h.

uint64 Clasp::ClaspFacade::Summary::enumerated

(

)

const [inline]

Definition at line 141 of file clasp_facade.h.

void Clasp::ClaspFacade::Summary::init

(

ClaspFacade &

f

)

Definition at line 585 of file clasp_facade.cpp.

const Asp::LpStats* Clasp::ClaspFacade::Summary::lpStats

(

)

const [inline]

Definition at line 140 of file clasp_facade.h.

const Model * Clasp::ClaspFacade::Summary::model

(

)

const

Definition at line 587 of file clasp_facade.cpp.

uint64 Clasp::ClaspFacade::Summary::optimal

(

)

const

Definition at line 597 of file clasp_facade.cpp.

bool Clasp::ClaspFacade::Summary::optimize

(

)

const

Definition at line 595 of file clasp_facade.cpp.

bool Clasp::ClaspFacade::Summary::optimum

(

)

const

Definition at line 596 of file clasp_facade.cpp.

bool Clasp::ClaspFacade::Summary::sat

(

)

const [inline]

Definition at line 142 of file clasp_facade.h.

int Clasp::ClaspFacade::Summary::stats

(

)

const

Definition at line 586 of file clasp_facade.cpp.

bool Clasp::ClaspFacade::Summary::unsat

(

)

const [inline]

Definition at line 143 of file clasp_facade.h.

---

Member Data Documentation

double Clasp::ClaspFacade::Summary::cpuTime

Total cpu time.

Definition at line 154 of file clasp_facade.h.

const ClaspFacade* Clasp::ClaspFacade::Summary::facade

Facade object of this run.

Definition at line 152 of file clasp_facade.h.

uint64 Clasp::ClaspFacade::Summary::numEnum

Total models enumerated.

Definition at line 158 of file clasp_facade.h.

Result Clasp::ClaspFacade::Summary::result

Result of step.

Definition at line 160 of file clasp_facade.h.

double Clasp::ClaspFacade::Summary::satTime

Wall clock time to first model.

Definition at line 157 of file clasp_facade.h.

double Clasp::ClaspFacade::Summary::solveTime

Wall clock time for solving.

Definition at line 155 of file clasp_facade.h.

uint32 Clasp::ClaspFacade::Summary::step

Step number (incremental solving).

Definition at line 159 of file clasp_facade.h.

double Clasp::ClaspFacade::Summary::totalTime

Total wall clock time.

Definition at line 153 of file clasp_facade.h.

double Clasp::ClaspFacade::Summary::unsatTime

Wall clock time to prove unsat.

Definition at line 156 of file clasp_facade.h.

---

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

• clasp_facade.h
• clasp_facade.cpp