|
Clingo
|
This is the complete list of members for CppClingo::Input::UnprocessedProgram, including all inherited members.
| add(SymbolStore &store, Stm stm) | CppClingo::Input::UnprocessedProgram | |
| clear() | CppClingo::Input::UnprocessedProgram | |
| empty() const -> bool | CppClingo::Input::UnprocessedProgram | |
| join(UnprocessedProgram const &other) | CppClingo::Input::UnprocessedProgram | |
| mark(SymbolCollector &gc) const | CppClingo::Input::UnprocessedProgram | |
| meta_stms() const -> StmVec const & | CppClingo::Input::UnprocessedProgram | inline |
| parts() const -> ProgramPartVec const & | CppClingo::Input::UnprocessedProgram | inline |