Data structures and functions to ground statements. More...

Classes
class	CppClingo::Ground::Component
	Captures statements depending cyclically on each other. More...

class	CppClingo::Ground::Stm
	Base class for groundable statements. More...

class	CppClingo::Ground::Linearizer
	Helper class to prepare statements for grounding. More...

class	CppClingo::Ground::StmRule
	A statement capturing normal rules and integrity constraints. More...

class	CppClingo::Ground::StmExternal
	A statement capturing normal rules and integrity constraints. More...

class	CppClingo::Ground::StmWeakConstraint
	A statement capturing weak constraints. More...

class	CppClingo::Ground::StmHeuristic
	Statement capturing heuristic directives. More...

class	CppClingo::Ground::StmEdge
	A statement edge directives. More...

class	CppClingo::Ground::StmShow
	A statement for show directives. More...

class	CppClingo::Ground::StmProject
	Statement capturing project directives. More...

Typedefs
using	CppClingo::Ground::UStm = std::unique_ptr< Stm >
	A unique pointer holding a statement.

using	CppClingo::Ground::UStmVec = std::vector< UStm >
	A vector of statements.

Enumerations
enum class	CppClingo::Ground::RuleType : uint8_t { RuleType::normal , RuleType::choice }
	Enumeration of available rule types. More...

Detailed Description

Data structures and functions to ground statements.

Enumeration Type Documentation

strong

Enumeration of available rule types.

Enumerator
normal	A normal rule.
choice	A choice rule.