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 value
fawkes::ClingoAccess
ASP_DBG_ALL_MODEL_SYMBOLS
enum value
fawkes::ClingoAccess
ASP_DBG_EVEN_CLINGO
enum value
fawkes::ClingoAccess
ASP_DBG_EXTERNALS
enum value
fawkes::ClingoAccess
ASP_DBG_MODELS
enum value
fawkes::ClingoAccess
ASP_DBG_NONE
enum value
fawkes::ClingoAccess
ASP_DBG_PROGRAMS
enum value
fawkes::ClingoAccess
ASP_DBG_TIME
enum value
fawkes::ClingoAccess
assign_external
(const Clingo::Symbol &atom, const bool value)
fawkes::ClingoAccess
inline
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
() const
fawkes::ClingoAccess
DebugLevel_t
enum name
fawkes::ClingoAccess
free_external
(const Clingo::Symbol &atom)
fawkes::ClingoAccess
inline
ground
(const Clingo::PartSpan &parts)
fawkes::ClingoAccess
load_file
(const std::string &path)
fawkes::ClingoAccess
model_symbols
(void) const
fawkes::ClingoAccess
num_threads
(void) const noexcept
fawkes::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 noexcept
fawkes::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
Generated by
1.8.17