Clingo
Loading...
Searching...
No Matches
CppClingo::Control::Grounder Member List

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 &params, Ground::ScriptCallback *context=nullptr) -> boolCppClingo::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) -> BuiltinIncludesCppClingo::Control::Grounder
parse(std::span< std::string_view const > const &files, Ground::ScriptExec *code=nullptr, ProgramBackend *prg=nullptr, TheoryBackend *thy=nullptr) -> BuiltinIncludesCppClingo::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() noexceptCppClingo::Control::Grounder