Data structures and functions to ground body aggregates. More...

Classes
class	CppClingo::Ground::AtomBdAggr
	Extensible ground representation of body aggregates. More...

class	CppClingo::Ground::BaseBdAggr
	The base capturing derived body aggregate atoms. More...

class	CppClingo::Ground::StateBdAggr
	State storing all necessary information to ground body aggregates. More...

class	CppClingo::Ground::MatchBdAggr
	A term like object used to match body aggregates. More...

class	CppClingo::Ground::LitBdAggr
	Literal representing an aggregate. More...

class	CppClingo::Ground::StmBdAggrElem
	Gather aggregate elements. More...

class	CppClingo::Ground::LitBdAggrStrat
	Literal representing a stratified body aggregate. More...

Enumerations
enum class	CppClingo::Ground::AtomBdAggrState : uint8_t { AtomBdAggrState::unknown = 0 , AtomBdAggrState::derived = 1 , AtomBdAggrState::fact = 2 }
	Derivation state of body aggregates. More...

Detailed Description

Data structures and functions to ground body aggregates.

Enumeration Type Documentation

strong

Derivation state of body aggregates.

Enumerator
unknown	The aggregate has not yet been derived.
derived	The aggregate has been derived.
fact	The aggregate has been derived as a fact.