clasp_facade.h File Reference

#include <clasp/shared_context.h>
#include <clasp/solve_algorithms.h>
#include <clasp/program_builder.h>
#include <clasp/logic_program.h>
#include <clasp/enumerator.h>

Include dependency graph for clasp_facade.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	Clasp::ClaspConfig
class	Clasp::ClaspFacade
	Provides a simplified interface to the services of the clasp library. More...
struct	Clasp::ExpectedQuantity
struct	Clasp::ClaspFacade::Result
	Result of a solving step. More...
struct	Clasp::ClaspFacade::StepReady
	Event type used to signal that a solve step has terminated. More...
struct	Clasp::ClaspFacade::StepStart
	Event type used to signal that a solve step has started. More...
struct	Clasp::ClaspFacade::Summary
	Type summarizing one or more solving steps. More...
Namespaces
namespace	Clasp
Defines
#define	CLASP_LEGAL
#define	CLASP_VERSION   "3.0.3"
Typedefs
typedef Clasp::BasicSolveOptions	Clasp::SolveOptions

---

Detailed Description

This file provides a facade around the clasp library. I.e. a simplified interface for (incrementally) solving a problem using some configuration (set of parameters).

Definition in file clasp_facade.h.

---

Define Documentation

#define CLASP_LEGAL

Value:

"Copyright (C) Benjamin Kaufmann\n"\
"License GPLv2+: GNU GPL version 2 or later <http://gnu.org/licenses/gpl.html>\n"\
"clasp is free software: you are free to change and redistribute it.\n"\
"There is NO WARRANTY, to the extent permitted by law."

Definition at line 32 of file clasp_facade.h.

#define CLASP_VERSION   "3.0.3"

Definition at line 29 of file clasp_facade.h.