CppClingo::Ground::StmHdTheory Class Reference

Ground a rule with a theory atom in the head. More...

#include <theory_atom.hh>

Inheritance diagram for CppClingo::Ground::StmHdTheory:

Public Member Functions
	StmHdTheory (StateTheory &state, ULitVec body, ProfileNodeInternal *node)
	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.
auto	profile_node () const -> ProfileNodeInternal *
	Get a node to store profiling data for this statement.

Detailed Description

Ground a rule with a theory atom in the head.

---

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

• clingo/ground/theory_atom.hh