CppClingo::Ground::Component Class Reference

Captures statements depending cyclically on each other. More...

#include <program.hh>

Public Member Functions
	Component (bool domain)
	Construct a component.
void	add (UStm stm)
	Add a statement to a component.
auto	stms () const -> UStmVec const &
	Get the statements in the component.
auto	domain () const -> bool
	Return true if the statements in this component only derive facts.

Detailed Description

Captures statements depending cyclically on each other.

Constructor & Destructor Documentation

Component()

CppClingo::Ground::Component::Component ( bool  domain )

inline

Construct a component.

If domain is true, then the component does not contain negative edges.

---

The documentation for this class was generated from the following file:

• clingo/ground/program.hh