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

Classes
class	CppClingo::Ground::AtomAssignAggr
	Extensible ground representation of assignment aggregates. More...

class	CppClingo::Ground::BaseAssignAggr
	The base capturing derived assignment aggregate atoms. More...

class	CppClingo::Ground::StateAssignAggr
	State storing all necessary information to ground assignment aggregates. More...

class	CppClingo::Ground::MatchAssignAggr
	A term like object to match assignment aggregates. More...

class	CppClingo::Ground::LitAssignAggr
	Literal representing an assignment aggregate. More...

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

class	CppClingo::Ground::LitAssignAggrStrat
	Literal representing a stratified assignment aggregate. More...

Detailed Description

Data structures and functions to ground assignment aggregates.

Classes