Clingo
|
This is the complete list of members for Clingo::Control, including all inherited members.
backend() const -> ProgramBackend | Clingo::Control | inline |
base() const -> Base | Clingo::Control | inline |
buffer() const -> std::string_view | Clingo::Control | inline |
c_cast | Clingo::Control | friend |
config() const -> Config | Clingo::Control | inline |
const_map() const -> ConstMap | Clingo::Control | inline |
Context typedef | Clingo::Control | |
Control(Library const &lib, StringList arguments) | Clingo::Control | inlineexplicit |
Control(Library const &lib, StringSpan arguments={}) | Clingo::Control | inlineexplicit |
Control(clingo_control_t *rep, bool acquire) | Clingo::Control | inlineexplicit |
discard(DiscardType type) const | Clingo::Control | inline |
ground(std::optional< PartSpan > parts=std::nullopt, Context ctx=nullptr) const | Clingo::Control | inline |
ground(std::initializer_list< Part > parts, Context ctx=nullptr) const | Clingo::Control | inline |
interrupt() const | Clingo::Control | inline |
join(AST::Program const &prg) const | Clingo::Control | inline |
main() const | Clingo::Control | inline |
mode() const -> ControlMode | Clingo::Control | inline |
observe(Observer &obs, bool preprocess=true) const | Clingo::Control | inline |
parse_files(StringSpan files) const | Clingo::Control | inline |
parse_files(StringList files) const | Clingo::Control | inline |
parse_string(std::string_view program) const | Clingo::Control | inline |
parts() const -> std::optional< PartVector > | Clingo::Control | inline |
parts(PartList parts) const | Clingo::Control | inline |
parts(std::optional< PartSpan > parts) const | Clingo::Control | inline |
register_propagator(std::unique_ptr< T > propagator) const -> T & | Clingo::Control | inline |
solve(SolveEventHandler &handler, ProgramLiteralSpan const &assumptions={}, SolveFlags flags=SolveFlags::empty) const -> SolveHandle | Clingo::Control | inline |
solve(ProgramLiteralSpan const &assumptions={}, SolveFlags flags=SolveFlags::yield) const -> SolveHandle | Clingo::Control | inline |
stats() const -> ConstStats | Clingo::Control | inline |
write_aspif(std::string_view path, WriteAspifFlags flags=WriteAspifFlags::none) const | Clingo::Control | inline |