CppClingo::Control::SolveControl Class Reference

Simple control class to add clauses while enumerating models. More...

#include <solver.hh>

Inheritance diagram for CppClingo::Control::SolveControl:

Public Member Functions
void	add_clause (PrgLitSpan lits)
	Add a clause over the given literal.
Public Member Functions inherited from CppClingo::Control::BaseView
virtual	~BaseView ()=default
	The default destructor.
auto	bases () const -> Ground::Bases const &
	Get a reference to the underlying atom bases.
auto	term_base () const -> TermBaseMap const &
	Get a reference to the underlying term bases.
auto	clasp_program () const -> Clasp::Asp::LogicProgram const &
	Get a reference to the underlying facade.
auto	clasp_theory () const -> Potassco::TheoryData const &
	Get a reference to the underlying facade.

Detailed Description

Simple control class to add clauses while enumerating models.

---

The documentation for this class was generated from the following file:

• clingo/control/solver.hh