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...

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...

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.