Atom, Term, and Theory Base Inspection

Inspection of atoms occurring in ground logic programs. More...

Classes
class	Clingo::Atom
	Class to provide access to symbolic atoms. More...
class	Clingo::AtomBase
	An atom base that maps symbols to atoms. More...
class	Clingo::Term
	Class to provide access to terms in a program. More...
class	Clingo::TermBase
	A term base that maps symbols to terms. More...
class	Clingo::TheoryTerm
	Class to provide access to theory terms. More...
class	Clingo::TheoryElement
	Class to provide access to theory elements. More...
class	Clingo::TheoryAtom
	Class to provide access to theory atoms. More...
class	Clingo::TheoryBase
	A theory base that maps theory atoms. More...
class	Clingo::Base
	A base that maps signatures to atom bases, and captures term and theory bases. More...

Typedefs
using	Clingo::TheoryTermVector = std::vector< TheoryTerm >
	A vector of theory terms.
using	Clingo::TheoryElementVector = std::vector< TheoryElement >
	A vector of theory elements.

Enumerations
enum class	Clingo::TheoryTermType {   TheoryTermType::tuple = clingo_theory_term_type_tuple , TheoryTermType::list = clingo_theory_term_type_list , TheoryTermType::set = clingo_theory_term_type_set , TheoryTermType::function = clingo_theory_term_type_function ,   TheoryTermType::number = clingo_theory_term_type_number , TheoryTermType::symbol = clingo_theory_term_type_symbol }
	Enumeration of theory term types. More...

Detailed Description

Inspection of atoms occurring in ground logic programs.

Enumeration Type Documentation

TheoryTermType

enum class Clingo::TheoryTermType

strong

Enumeration of theory term types.

Enumerator
tuple	a tuple term, e.g., (1,2,3)
list	a list term, e.g., [1,2,3]
set	a set term, e.g., {1,2,3}
function	a function term, e.g., f(1,2,3)
number	a number term, e.g., 42
symbol	a symbol term, e.g., c