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
profile() -> std::vector< ProfileNode >Clingo::Controlinline
register_propagator(P &&propagator) const -> decltype(auto)Clingo::Controlinline
solve(ProgramLiteralSpan assumptions={}, Handler &&handler=nullptr) const -> SolveResultClingo::Controlinline
solve(std::initializer_list< ProgramLiteral > assumptions, Handler &&handler=nullptr) const -> SolveResultClingo::Controlinline
start_ground(std::optional< PartSpan > parts=std::nullopt, Handler &&handler=nullptr) const -> GroundHandleClingo::Controlinline
start_ground(std::initializer_list< Part > parts, Handler &&handler=nullptr) const -> GroundHandleClingo::Controlinline
start_solve(ProgramLiteralSpan assumptions={}, SolveFlags flags=SolveFlags::yield, Handler &&handler=nullptr) const -> SolveHandleClingo::Controlinline
start_solve(std::initializer_list< ProgramLiteral > assumptions, SolveFlags flags=SolveFlags::yield, Handler &&handler=nullptr) const -> SolveHandleClingo::Controlinline
stats() const -> ConstStatsClingo::Controlinline
write_aspif(std::string_view path, WriteAspifFlags flags=WriteAspifFlags::none) constClingo::Controlinline