CppClingo::Ground::State Class Reference

Class to store state for grounding. More...

#include <base.hh>

Inheritance diagram for CppClingo::Ground::State:

Public Member Functions
virtual	~State ()=default
	Destructor.
virtual void	output (Logger &log, SymbolStore &store, OutputStm &out)=0
	Output delayed literals.

Detailed Description

Class to store state for grounding.

Member Function Documentation

output()

virtual void CppClingo::Ground::State::output ( Logger &  log, SymbolStore &  store, OutputStm &  out  )

pure virtual

Output delayed literals.

Implemented in CppClingo::Ground::StateAssignAggr, CppClingo::Ground::StateBdAggr, CppClingo::Ground::StateCondLit, CppClingo::Ground::StateDisjunction, CppClingo::Ground::StateHdAggr, and CppClingo::Ground::StateTheory.

---

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

• clingo/ground/base.hh