|
Clingo
|
Program grouping unprocessed statements. More...
#include <program.hh>
Public Member Functions | |
| void | add (SymbolStore &store, Stm stm) |
| Add a statement. | |
| void | clear () |
| Reset the program to its initial state removing all added statements. | |
| auto | empty () const -> bool |
| Check if the program is empty. | |
| void | mark (SymbolCollector &gc) const |
| Mark symbols occurring in the program. | |
| void | join (UnprocessedProgram const &other) |
| Join with another unprocessed program. | |
| auto | parts () const -> ProgramPartVec const & |
| Unprocessed statements. | |
| auto | meta_stms () const -> StmVec const & |
| Meta statements. | |
Program grouping unprocessed statements.