Data structures and functions to represent theory terms and atoms. More...

Classes
class	CppClingo::Input::TheoryTermSymbol
	A symbolic theory term. More...

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

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

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

class	CppClingo::Input::TheoryTermUnparsed
	An unparsed theory term. More...

class	CppClingo::Input::UnparsedElement
	An element having the form of a right guard. More...

class	CppClingo::Input::TheoryRGuard
	The right guard of the theory atom. More...

class	CppClingo::Input::TheoryElement
	An element of the theory atom. More...

class	CppClingo::Input::TheoryAtom< HasSign >
	A theory atom. More...

Typedefs
using	CppClingo::Input::TheoryTerm = std::variant< TheoryTermSymbol, TheoryTermVariable, TheoryTermTuple, TheoryTermFunction, TheoryTermUnparsed >
	A variant for the different theory terms.

using	CppClingo::Input::TheoryTermArray = Util::immutable_array< TheoryTerm >
	A vector of theory terms.

using	CppClingo::Input::UnparsedElementArray = Util::immutable_array< UnparsedElement >
	A vector of elements.

using	CppClingo::Input::TheoryElementArray = Util::immutable_array< TheoryElement >
	A vector of theory atom elements.

using	CppClingo::Input::HdLitTheoryAtom = TheoryAtom< false >
	A head theory atom.

using	CppClingo::Input::BdLitTheoryAtom = TheoryAtom< true >
	A body theory atom.

Detailed Description

Data structures and functions to represent theory terms and atoms.

Typedef Documentation

A vector of elements.

In this context, it has to have at least length one. Furthermore, all but the first element must have at least one operator.