Clingo
Loading...
Searching...
No Matches
Clingo::Control Member List

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

backend() const -> ProgramBackendClingo::Controlinline
base() const -> BaseClingo::Controlinline
buffer() const -> std::string_viewClingo::Controlinline
c_castClingo::Controlfriend
config() const -> ConfigClingo::Controlinline
const_map() const -> ConstMapClingo::Controlinline
Context typedefClingo::Control
Control(Library const &lib, StringList arguments)Clingo::Controlinlineexplicit
Control(Library const &lib, StringSpan arguments={})Clingo::Controlinlineexplicit
Control(clingo_control_t *rep, bool acquire)Clingo::Controlinlineexplicit
discard(DiscardType type) constClingo::Controlinline
ground(std::optional< PartSpan > parts=std::nullopt, Context ctx=nullptr) constClingo::Controlinline
ground(std::initializer_list< Part > parts, Context ctx=nullptr) constClingo::Controlinline
interrupt() constClingo::Controlinline
join(AST::Program const &prg) constClingo::Controlinline
main() constClingo::Controlinline
mode() const -> ControlModeClingo::Controlinline
observe(Observer &obs, bool preprocess=true) constClingo::Controlinline
parse_files(StringSpan files) constClingo::Controlinline
parse_files(StringList files) constClingo::Controlinline
parse_string(std::string_view program) constClingo::Controlinline
parts() const -> std::optional< PartVector >Clingo::Controlinline
parts(PartList parts) constClingo::Controlinline
parts(std::optional< PartSpan > parts) constClingo::Controlinline
register_propagator(std::unique_ptr< T > propagator) const -> T &Clingo::Controlinline
solve(SolveEventHandler &handler, ProgramLiteralSpan const &assumptions={}, SolveFlags flags=SolveFlags::empty) const -> SolveHandleClingo::Controlinline
solve(ProgramLiteralSpan const &assumptions={}, SolveFlags flags=SolveFlags::yield) const -> SolveHandleClingo::Controlinline
stats() const -> ConstStatsClingo::Controlinline
write_aspif(std::string_view path, WriteAspifFlags flags=WriteAspifFlags::none) constClingo::Controlinline