A refined component. More...

#include <program.hh>

Public Attributes
std::vector< Stm const * >	stms
	The statements in the component.

Util::unordered_set< std::tuple< String, size_t, bool > >	depend
	The literals a component depends on.

Util::ordered_map< Term const , Util::ordered_set< Term const > >	incomplete
	This vector captures literals that are not yet complete.

ComponentType	type
	The type of the component.

Detailed Description

A refined component.

A component consists of a (non-empty) set of statements and a set of incomplete literals. Instances of incomplete literals are added while grounding a component. In case of negative literals, instances might also be added after grounding the component. We cannot assume that an instance of a incomplete negative literal is true if there has been no instance deriving its positive counterpart previously.

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

clingo/input/program.hh

Public Attributes

Detailed Description