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.