Clasp::ClaspFacade::Summary Struct Reference

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

#include <clasp_facade.h>

Collaboration diagram for Clasp::ClaspFacade::Summary:

Public Types
typedef SharedMinimizeData	SharedMinData

Public Member Functions
void	init (ClaspFacade &f)
const SharedContext &	ctx () const
const Asp::LpStats *	lpStats () const
uint64	enumerated () const
bool	sat () const
bool	unsat () const
bool	complete () const
bool	optimum () const
uint64	optimal () const
bool	optimize () const
const SharedMinData *	costs () const
const char *	consequences () const
int	stats () const
const Model *	model () const

Public Attributes
const ClaspFacade *	facade
double	totalTime
double	cpuTime
double	solveTime
double	unsatTime
double	satTime
uint64	numEnum
uint32	step
Result	result

Detailed Description

Type summarizing one or more solving steps.

Member Typedef Documentation

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

Member Function Documentation

bool Clasp::ClaspFacade::Summary::complete ( ) const

inline

Here is the call graph for this function:

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

(

)

const

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

(

)

const

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

inline

uint64 Clasp::ClaspFacade::Summary::enumerated ( ) const

inline

void Clasp::ClaspFacade::Summary::init

(

ClaspFacade &

f

)

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

inline

Here is the call graph for this function:

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

(

)

const

uint64 Clasp::ClaspFacade::Summary::optimal

(

)

const

Here is the call graph for this function:

bool Clasp::ClaspFacade::Summary::optimize

(

)

const

bool Clasp::ClaspFacade::Summary::optimum

(

)

const

Here is the call graph for this function:

bool Clasp::ClaspFacade::Summary::sat ( ) const

inline

Here is the call graph for this function:

int Clasp::ClaspFacade::Summary::stats

(

)

const

Here is the call graph for this function:

bool Clasp::ClaspFacade::Summary::unsat ( ) const

inline

Here is the call graph for this function:

Member Data Documentation

double Clasp::ClaspFacade::Summary::cpuTime

Total cpu time.

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

Facade object of this run.

uint64 Clasp::ClaspFacade::Summary::numEnum

Total models enumerated.

Result Clasp::ClaspFacade::Summary::result

Result of step.

double Clasp::ClaspFacade::Summary::satTime

Wall clock time to first model.

double Clasp::ClaspFacade::Summary::solveTime

Wall clock time for solving.

uint32 Clasp::ClaspFacade::Summary::step

Step number (incremental solving).

double Clasp::ClaspFacade::Summary::totalTime

Total wall clock time.

double Clasp::ClaspFacade::Summary::unsatTime

Wall clock time to prove unsat.

---

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

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