CppClingo::Ground::StmTheoryElement Class Reference

Gather theory atom elements. More...

#include <theory_atom.hh>

Inheritance diagram for CppClingo::Ground::StmTheoryElement:

Public Member Functions
	StmTheoryElement (StateTheory &state, UTheoryTermVec tuple, ULitVec body)
	Construct the statement.
Public Member Functions inherited from CppClingo::Ground::Stm
auto	body () const -> ULitVec const &
	Get the body of the statement.
auto	important () const -> VariableSet
	Get the important variables in the statement.
Public Member Functions inherited from CppClingo::Ground::InstanceCallback
virtual	~InstanceCallback ()=default
	Destroy the callback.
void	init (size_t gen)
	Notify a statement that instantiation starts.
auto	report (EvalContext const &ctx) -> bool
	Report an assignment giving rise to an instance for a statement.
void	propagate (SymbolStore &store, OutputStm &out, Queue &queue)
	Notify a statement that instantiation has finished.
auto	priority () const -> size_t
	The priority of the callback.
void	print_head (std::ostream &out) const
	Print representation for debugging.
auto	is_important (size_t index) const -> bool
	Check if the literal with the given index is important.

Detailed Description

Gather theory atom elements.

---

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

• clingo/ground/theory_atom.hh