This is the complete list of members for CppClingo::Control::Solver, including all inherited members.

add_const(String name, Symbol value)	CppClingo::Control::Solver
backend() -> UBackendHandle	CppClingo::Control::Solver
bases() const -> Ground::Bases const &	CppClingo::Control::BaseView	inline
block_main(bool block)	CppClingo::Control::Solver	inline
buf() -> Util::OutputBuffer &	CppClingo::Control::Solver	inline
clasp_config() -> Clasp::Cli::ClaspCliConfig &	CppClingo::Control::Solver	inline
clasp_facade() -> Clasp::ClaspFacade &	CppClingo::Control::Solver	inline
clasp_facade() const -> Clasp::ClaspFacade const &	CppClingo::Control::Solver	inline
clasp_program() const -> Clasp::Asp::LogicProgram const &	CppClingo::Control::BaseView	inline
clasp_stats() -> Potassco::AbstractStatistics const &	CppClingo::Control::Solver	inline
clasp_theory() const -> Potassco::TheoryData const &	CppClingo::Control::BaseView	inline
const_map() -> Input::ConstMap const &	CppClingo::Control::Solver
get_lock() -> CallbackLock &	CppClingo::Control::Solver	inline
get_mode() const -> AppMode	CppClingo::Control::Solver	inline
get_parts() -> std::optional< Input::StmParts > const &	CppClingo::Control::Solver	inline
ground(ProgramParamVec const &params, Ground::ScriptCallback *ctx)	CppClingo::Control::Solver
interrupt() noexcept	CppClingo::Control::Solver
join(Input::UnprocessedProgram const &prg)	CppClingo::Control::Solver
main(std::span< std::string_view const > const &files)	CppClingo::Control::Solver
main()	CppClingo::Control::Solver
map_model(Clasp::Model const &mdl) -> Model &	CppClingo::Control::Solver
output_program(std::ostream &out)	CppClingo::Control::Solver
output_unprocessed_program(std::ostream &out)	CppClingo::Control::Solver
parse(std::string_view str)	CppClingo::Control::Solver
parse(std::span< std::string_view const > const &files)	CppClingo::Control::Solver
parse_with(std::function< void(ProgramBackend , TheoryBackend )> cb)	CppClingo::Control::Solver
register_propagator(UPropagator propagator)	CppClingo::Control::Solver
set_parts(std::optional< Input::StmParts > parts)	CppClingo::Control::Solver	inline
set_parts(Input::ProgramParamVec parts)	CppClingo::Control::Solver	inline
show(Input::SharedSig const &sig)	CppClingo::Control::Solver	inline
solve(UEventHandler handler={}, PrgLitSpan assumptions={}, SolveMode mode=SolveMode::none) -> USolveHandle	CppClingo::Control::Solver
Solver(Clasp::ClaspFacade &clasp, Clasp::Cli::ClaspCliConfig &config, Logger &log, SymbolStore &store, Scripts &scripts, Input::RewriteOptions ropts, SolverOptions sopts, FILE *out=stdout)	CppClingo::Control::Solver
sym_tab() -> SymbolTable &	CppClingo::Control::Solver	inline
term_base() const -> TermBaseMap const &	CppClingo::Control::BaseView	inline
user_data() -> void *&	CppClingo::Control::Solver	inline
~BaseView()=default	CppClingo::Control::BaseView	virtual