Data structures and functions to ground head conditional literals. More...

Classes
class	CppClingo::Ground::AtomDisjunction
	Extensible ground representation of disjunctions. More...

class	CppClingo::Ground::BaseDisjunction
	The base capturing derived disjunction atoms. More...

class	CppClingo::Ground::StateDisjunction
	State storing all necessary information to ground disjunctions. More...

class	CppClingo::Ground::StmDisjunction
	A statement deriving disjunction atoms to trigger grounding of elements. More...

class	CppClingo::Ground::StmDisjunctionElem
	Gather disjunction elements. More...

class	CppClingo::Ground::MatchDisjunction
	A term like object used to match disjunction atoms. More...

class	CppClingo::Ground::LitDisjunction
	Literal representing a disjunction. More...

Typedefs
using	CppClingo::Ground::DisjunctionBaseVec = std::vector< std::tuple< std::tuple< String, size_t, bool >, AtomBase *, std::vector< size_t > > >
	A vector of signatures, bases, and indices.

Detailed Description

Data structures and functions to ground head conditional literals.

Typedef Documentation

using CppClingo::Ground::DisjunctionBaseVec = typedef std::vector<std::tuple<std::tuple<String, size_t, bool>, AtomBase *, std::vector<size_t> >>

A vector of signatures, bases, and indices.

Whenever a base has an update, its indices have to be propagated. The base is identified by the signature and the vector sorted by this signature.