[][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