CppClingo::Control::BaseView Class Reference

Interface providing the necessary data to inspect atom, term, and theory bases. More...

#include <solver.hh>

Inheritance diagram for CppClingo::Control::BaseView:

Public Member Functions
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

Interface providing the necessary data to inspect atom, term, and theory bases.

---

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

• clingo/control/solver.hh