Data structures and functions to compute joins. More...

Classes
class	CppClingo::Ground::InstantiationContext
	Context object to capture state used during instantiation. More...

class	CppClingo::Ground::EvalContext
	Context object to capture state used during instantiation. More...

class	CppClingo::Ground::Matcher
	A matcher to match expressions. More...

class	CppClingo::Ground::InstanceCallback
	Callbacks to notify statements during instantiations. More...

class	CppClingo::Ground::Instantiator
	An instantiator implementing the basic grounding algorithm. More...

class	CppClingo::Ground::Queue
	A queue to process instantiators. More...

struct	CppClingo::Ground::ProfileIndent
	Helper to print indentation. More...

struct	CppClingo::Ground::ProfileStats
	The profiling data. More...

class	CppClingo::Ground::ProfileNode
	Base class for profiling data. More...

class	CppClingo::Ground::ProfileNodeInternal
	Profile node that can hold children. More...

class	CppClingo::Ground::ProfileNodeExpression< T >
	A profile node that holds a printable expression and children. More...

class	CppClingo::Ground::ProfileData
	This profile node holds the profiling data for a single step and accumulated data. More...

Typedefs
using	CppClingo::Ground::UMatcher = std::unique_ptr< Matcher >
	A unique pointer to a matcher.

using	CppClingo::Ground::UMatcherVec = std::vector< UMatcher >
	A vector of matchers.

using	CppClingo::Ground::InstantiatorVec = std::vector< Instantiator >
	A vector of instantiators.

Enumerations
enum class	CppClingo::Ground::MatcherType : uint8_t { new_atoms , MatcherType::old_atoms , MatcherType::all_atoms }
	Enumeration of matcher types. More...

enum class	CppClingo::Ground::ProfileType : uint8_t { ProfileType::step , ProfileType::accu }
	Whether to process per step or accumulated profiling data. More...

enum class	CppClingo::Ground::ProfileDetail : uint8_t { compact = 0 , detailed = 1 }
	Whether to print profile data into a compact or detailed form.

Functions
auto	CppClingo::Ground::operator<< (std::ostream &out, MatcherType type) -> std::ostream &
	Print a short indicator for the matcher type.

Detailed Description

Data structures and functions to compute joins.

Enumeration Type Documentation

strong

Enumeration of matcher types.

Enumerator

old_atoms

Indicates a matcher for freshly added atoms.

all_atoms

Indicates a matcher for previously added atoms.

Indicates a matcher for all atoms.

strong

Whether to process per step or accumulated profiling data.

Enumerator
step	Profile data for a single step.
accu	Profile data accumulated over all steps.