Clingo
|
This is the complete list of members for CppClingo::Control::Grounder, including all inherited members.
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 | |
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 |