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 |