CppClingo::Ground::StmShow Class Reference

A statement for show directives. More...

#include <statement.hh>

Inheritance diagram for CppClingo::Ground::StmShow:

Public Member Functions
	StmShow (UTerm term, 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

A statement for show directives.

---

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

• clingo/ground/statement.hh