Data structures and functions to represent body literals. More...

Classes
class	CppClingo::Input::BdLitSimple
	A single literal in a rule body. More...

class	CppClingo::Input::BdLitConjunction
	A conditional literal in a rule body. More...

class	CppClingo::Input::BdLitAggregateElement
	A body aggregate element. More...

class	CppClingo::Input::BdLitAggregate
	A body aggregate. More...

Typedefs
using	CppClingo::Input::BdLitAggregateElementArray = Util::immutable_array< BdLitAggregateElement >
	A vector of aggregate elements.

using	CppClingo::Input::BdLit = std::variant< BdLitSimple, BdLitConjunction, BdLitAggregate, BdLitSetAggregate, BdLitTheoryAtom >
	A body literal.

using	CppClingo::Input::BdLitArray = Util::immutable_array< BdLit >
	A vector of body literals.

Detailed Description

Data structures and functions to represent body literals.

Classes