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.