Fawkes API  Fawkes Development Version
fawkes::ClingoAccess Member List

This is the complete list of members for fawkes::ClingoAccess, including all inherited members.

ASP_DBG_ALL enum valuefawkes::ClingoAccess
ASP_DBG_ALL_MODEL_SYMBOLS enum valuefawkes::ClingoAccess
ASP_DBG_EVEN_CLINGO enum valuefawkes::ClingoAccess
ASP_DBG_EXTERNALS enum valuefawkes::ClingoAccess
ASP_DBG_MODELS enum valuefawkes::ClingoAccess
ASP_DBG_NONE enum valuefawkes::ClingoAccess
ASP_DBG_PROGRAMS enum valuefawkes::ClingoAccess
ASP_DBG_TIME enum valuefawkes::ClingoAccess
assign_external(const Clingo::Symbol &atom, const bool value)fawkes::ClingoAccessinline
assign_external(const Clingo::Symbol &atom, const Clingo::TruthValue value)fawkes::ClingoAccess
cancel_solving(void)fawkes::ClingoAccess
ClingoAccess(Logger *logger, const std::string &log_component)fawkes::ClingoAccess
debug_level() constfawkes::ClingoAccess
DebugLevel_t enum namefawkes::ClingoAccess
free_external(const Clingo::Symbol &atom)fawkes::ClingoAccessinline
ground(const Clingo::PartSpan &parts)fawkes::ClingoAccess
load_file(const std::string &path)fawkes::ClingoAccess
model_symbols(void) constfawkes::ClingoAccess
num_threads(void) const noexceptfawkes::ClingoAccess
register_finish_callback(std::shared_ptr< std::function< void(Clingo::SolveResult)>> callback)fawkes::ClingoAccess
register_model_callback(std::shared_ptr< std::function< bool(void)>> callback)fawkes::ClingoAccess
release_external(const Clingo::Symbol &atom)fawkes::ClingoAccess
reset(void)fawkes::ClingoAccess
set_debug_level(DebugLevel_t log_level)fawkes::ClingoAccess
set_ground_callback(Clingo::GroundCallback &&callback)fawkes::ClingoAccess
set_num_threads(const int threads, const bool use_splitting=false)fawkes::ClingoAccess
solving(void) const noexceptfawkes::ClingoAccess
start_solving(void)fawkes::ClingoAccess
start_solving_blocking(void)fawkes::ClingoAccess
unregister_finish_callback(std::shared_ptr< std::function< void(Clingo::SolveResult)>> callback)fawkes::ClingoAccess
unregister_model_callback(std::shared_ptr< std::function< bool(void)>> callback)fawkes::ClingoAccess
~ClingoAccess(void)fawkes::ClingoAccess