|
Clingo
|
Interface to process a rewritten and analyzed input program. More...
#include <program.hh>
Public Member Functions | |
| virtual | ~DependencyBuilder ()=default |
| Default destructor. | |
| void | param (ProgramParam const ¶m) |
| Add parts to ground. | |
| void | meta (std::vector< Stm > const &stms) |
| Add meta statements. | |
| void | fact (std::vector< Symbol > const &facts) |
| Add facts. | |
| auto | components (Components const &comps) -> bool |
| Add components. | |
Interface to process a rewritten and analyzed input program.