Clingo
Loading...
Searching...
No Matches
CppClingo::Input::Parser Member List

This is the complete list of members for CppClingo::Input::Parser, including all inherited members.

init(std::istream &in, String file)CppClingo::Input::Parser
init(std::string_view in, String file)CppClingo::Input::Parser
operator=(Parser const &other) -> Parser &=deleteCppClingo::Input::Parser
operator=(Parser &&other) noexcept -> Parser &CppClingo::Input::Parser
parse_body_literal() -> std::optional< BdLit >CppClingo::Input::Parser
parse_const_def() -> std::optional< std::pair< SharedString, SharedSymbol > >CppClingo::Input::Parser
parse_head_literal() -> std::optional< HdLit >CppClingo::Input::Parser
parse_literal() -> std::optional< Lit >CppClingo::Input::Parser
parse_program_parts() -> std::optional< ProgramParamVec >CppClingo::Input::Parser
parse_statement() -> std::optional< Stm >CppClingo::Input::Parser
parse_symbol() -> std::optional< SharedSymbol >CppClingo::Input::Parser
parse_term() -> std::optional< Term >CppClingo::Input::Parser
parse_theory_term() -> std::optional< TheoryTerm >CppClingo::Input::Parser
Parser(Logger &log, SymbolStore &store, ProgramBackend *prg_backend=nullptr, TheoryBackend *thy_backend=nullptr)CppClingo::Input::Parser
Parser(Parser const &other)=deleteCppClingo::Input::Parser
Parser(Parser &&other) noexceptCppClingo::Input::Parser
scan() -> std::pair< std::optional< Stm >, bool >CppClingo::Input::Parser
~Parser() noexceptCppClingo::Input::Parser