clasp_facade.cpp File Reference

#include <clasp/clasp_facade.h>
#include <clasp/lookahead.h>
#include <clasp/cb_enumerator.h>
#include <clasp/dependency_graph.h>
#include <clasp/minimize_constraint.h>
#include <clasp/util/timer.h>
#include <clasp/util/atomic.h>
#include <cstdio>
#include <cstdlib>
#include <signal.h>
#include <limits>

Include dependency graph for clasp_facade.cpp:

Go to the source code of this file.

Classes
struct	Clasp::ClaspFacade::SolveImpl
struct	Clasp::ClaspFacade::SolveStrategy
Namespaces
namespace	Clasp
Defines
#define	COMMON_KEYS   "ctx.\0solvers.\0solver.\0costs.\0totalTime\0cpuTime\0solveTime\0unsatTime\0satTime\0numEnum\0optimal\0step\0result\0"
#define	GET_KEYS(o, path)   ( ExpectedQuantity((o).keys(path)) )
#define	GET_OBJ(o, path)   ( ExpectedQuantity((o)[path]) )

---

Define Documentation

#define COMMON_KEYS   "ctx.\0solvers.\0solver.\0costs.\0totalTime\0cpuTime\0solveTime\0unsatTime\0satTime\0numEnum\0optimal\0step\0result\0"

#define GET_KEYS	(		o,
			path
	)		( ExpectedQuantity((o).keys(path)) )

#define GET_OBJ	(		o,
			path
	)		( ExpectedQuantity((o)[path]) )