Intercept models and interact with a running search. More...

Classes
class	Clingo::SolveResult
	Class to capture the result of solve calls. More...

class	Clingo::SolveControl
	Class to add clauses to a running search. More...

class	Clingo::ConstModel
	Class to provide an immutable view of a model. More...

class	Clingo::Model
	Class to provide an mutable view of a model. More...

class	Clingo::SolveEventHandler
	Interface to handle events during solving. More...

class	Clingo::SolveHandle
	Class to control a running search. More...

Enumerations
enum class	Clingo::ModelType : clingo_model_type_t { ModelType::stable_model = clingo_model_type_stable_model , ModelType::brave_consequences = clingo_model_type_brave_consequences , ModelType::cautious_consequences }
	Enumeration of the model types. More...

enum class	Clingo::ShowFlags : clingo_show_type_bitset_t { ShowFlags::none = 0 , ShowFlags::shown = clingo_show_type_shown , ShowFlags::atoms = clingo_show_type_atoms , ShowFlags::terms = clingo_show_type_terms , ShowFlags::theory = clingo_show_type_theory }
	Enumeration of bit flags to select symbols in models. More...

Functions
	Clingo::CLINGO_ENABLE_BITSET_ENUM (ShowFlags)
	Enable bitset enumeration for ShowFlags.

Detailed Description

Intercept models and interact with a running search.

Enumeration Type Documentation

strong

Enumeration of the model types.

Enumerator
stable_model	The model represents a stable model.
brave_consequences	The model represents a set of brave consequences.
cautious_consequences	The model represents a set of cautious consequences.

strong

Enumeration of bit flags to select symbols in models.

Enumerator
none	Show nothing.
shown	Select shown atoms and terms.
atoms	Select all atoms.
terms	Select all terms.
theory	Select symbols added by theory.