|
Clingo
|
This is the complete list of members for CppClingo::Control::Grounder, including all inherited members.
| accept(Ground::ProfileNode::Visitor const &visit) const | CppClingo::Control::Grounder | |
| add_const(String name, Symbol value) | CppClingo::Control::Grounder | |
| base() -> Ground::Bases & | CppClingo::Control::Grounder | |
| base() const -> Ground::Bases const & | CppClingo::Control::Grounder | |
| const_map() -> Input::ConstMap const & | CppClingo::Control::Grounder | |
| get_parts() -> std::optional< Input::StmParts > const & | CppClingo::Control::Grounder | |
| ground(ProgramParamVec const ¶ms, Ground::ScriptCallback *context=nullptr) -> bool | CppClingo::Control::Grounder | |
| Grounder(Logger &log, SymbolStore &store, Input::RewriteOptions opts, OutputStm &out) | CppClingo::Control::Grounder | |
| join(Input::UnprocessedProgram const &prg) | CppClingo::Control::Grounder | |
| log() const -> Logger & | CppClingo::Control::Grounder | |
| mark_sig(Input::Sig const &sig) | CppClingo::Control::Grounder | |
| output_program(std::ostream &out) | CppClingo::Control::Grounder | |
| output_unprocessed_program(std::ostream &out) | CppClingo::Control::Grounder | |
| parse(std::string_view str, Ground::ScriptExec *code=nullptr) -> BuiltinIncludes | CppClingo::Control::Grounder | |
| parse(std::span< std::string_view const > const &files, Ground::ScriptExec *code=nullptr, ProgramBackend *prg=nullptr, TheoryBackend *thy=nullptr) -> BuiltinIncludes | CppClingo::Control::Grounder | |
| print_summary(bool final) | CppClingo::Control::Grounder | |
| set_parts(std::optional< Input::StmParts > parts) | CppClingo::Control::Grounder | |
| show(Input::SharedSig const &sig) | CppClingo::Control::Grounder | |
| store() const -> SymbolStore & | CppClingo::Control::Grounder | |
| ~Grounder() noexcept | CppClingo::Control::Grounder |