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...

class	CppClingo::Ground::AtomSortAggr
	Extensible ground representation of sort aggregates. More...

class	CppClingo::Ground::BaseSortAggr
	The base capturing derived sort aggregate atoms. More...

class	CppClingo::Ground::StateSortAggr
	State storing all necessary information to ground sort aggregates. More...

class	CppClingo::Ground::MatchSortAggr
	A term like object to match sort aggregates. More...

class	CppClingo::Ground::LitSortAggr
	Literal representing a sort aggregate. More...

class	CppClingo::Ground::StmSortAggrElem
	Gather sort aggregate elements. More...

class	CppClingo::Ground::LitSortAggrStrat
	Literal representing a stratified sort aggregate. More...

Detailed Description

Data structures and functions to ground assignment aggregates.

Classes