Data structures and functions to ground theory atoms. More...

Classes
class	CppClingo::Ground::AtomTheory
	Extensible ground representation for theory atoms. More...

class	CppClingo::Ground::BaseTheory
	The base capturing theory atoms encountered during grounding. More...

class	CppClingo::Ground::StateTheory
	State storing all necessary information to ground theory atoms. More...

class	CppClingo::Ground::MatchTheory
	A term like object used to match theory atoms. More...

class	CppClingo::Ground::LitMatchTheory
	Literal to match a theory atom. More...

class	CppClingo::Ground::StmTheoryElement
	Gather theory atom elements. More...

class	CppClingo::Ground::LitBdTheory
	Literal to match a theory atom. More...

class	CppClingo::Ground::StmHdTheory
	Ground a rule with a theory atom in the head. More...

class	CppClingo::Ground::TheoryTerm
	The TheoryTerm interface. More...

class	CppClingo::Ground::TheoryTermSymbol
	A symbolic theory term. More...

class	CppClingo::Ground::TheoryTermVariable
	A variable theory term. More...

class	CppClingo::Ground::TheoryTermTuple
	A tuple (set or list) theory term. More...

class	CppClingo::Ground::TheoryTermFunction
	A function theory term. More...

Typedefs
using	CppClingo::Ground::TheoryRGuard = std::optional< std::pair< String, UTheoryTerm > >
	The right-hand-side of a theory atom.

using	CppClingo::Ground::UTheoryTerm = std::unique_ptr< TheoryTerm >
	A unique pointer to a theory term.

using	CppClingo::Ground::UTheoryTermVec = std::vector< UTheoryTerm >
	A vector of theory terms.

Detailed Description

Data structures and functions to ground theory atoms.

Classes