Clingo
|
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 &=delete | CppClingo::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)=delete | CppClingo::Input::Parser | |
Parser(Parser &&other) noexcept | CppClingo::Input::Parser | |
scan() -> std::pair< std::optional< Stm >, bool > | CppClingo::Input::Parser | |
~Parser() noexcept | CppClingo::Input::Parser |