Clingo
Loading...
Searching...
No Matches
CppClingo::Input::UnprocessedProgram Class Reference

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.
 

Detailed Description

Program grouping unprocessed statements.


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