[−][src]Function clingo_sys::clingo_options_add_flag
pub unsafe extern "C" fn clingo_options_add_flag(
options: *mut clingo_options_t,
group: *const c_char,
option: *const c_char,
description: *const c_char,
target: *mut bool
) -> bool
! Add an option that is a simple flag. ! ! This function is similar to @ref clingo_options_add() but simpler because it only supports flags, which do not have values. ! If a flag is passed via the command-line the parameter target is set to true. ! ! @param[in] options object to register the option with ! @param[in] group options are grouped into sections as given by this string ! @param[in] option specifies the command line option ! @param[in] description the description of the option ! @param[in] target boolean set to true if the flag is given on the command-line ! @return whether the call was successful