Head Literals

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

Classes
class	CppClingo::Input::HdLitSimple
	A single literal in a rule head. More...
class	CppClingo::Input::HdLitDisjunction
	A disjunction of conditional literals. More...
class	CppClingo::Input::HdLitAggregateElement
	An element of a head aggregate. More...
class	CppClingo::Input::HdLitAggregate
	A head aggregate. More...

Typedefs
using	CppClingo::Input::HdLitDisjunctionElement = std::variant< Lit, CondLit >
	An element of a disjunction.
using	CppClingo::Input::HdLitDisjunctionElementArray = Util::immutable_array< HdLitDisjunctionElement >
	A vector of elements.
using	CppClingo::Input::HdLitAggregateElementArray = Util::immutable_array< HdLitAggregateElement >
	A vector of head aggregate elements.
using	CppClingo::Input::HdLit = std::variant< HdLitSimple, HdLitDisjunction, HdLitAggregate, HdLitSetAggregate, HdLitTheoryAtom >
	A head literal.
using	CppClingo::Input::HdLitArray = Util::immutable_array< HdLit >
	A vector of head literals.

Detailed Description

Data structures and functions to represent head literals.