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

Classes
class	CppClingo::Ground::AtomHdAggr
	Extensible ground representation of head aggregates. More...

class	CppClingo::Ground::BaseHdAggr
	The base capturing derived head aggregate atoms. More...

class	CppClingo::Ground::StateHdAggr
	State storing all necessary information to ground head aggregates. More...

class	CppClingo::Ground::StmHdAggr
	A statement deriving head aggregate atoms to trigger grounding of elements. More...

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

class	CppClingo::Ground::MatchHdAggr
	A term like object used to match head aggregates. More...

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

Detailed Description

Data structures and functions to ground head aggregates.

Classes