Function clingo_sys::clingo_model_symbols_size

pub unsafe extern "C" fn clingo_model_symbols_size(
    model: *const clingo_model_t, 
    show: clingo_show_type_bitset_t, 
    size: *mut usize
) -> bool

Get the number of symbols of the selected types in the model.

Parameters:

• model - the target
• show - which symbols to select
• size - the number symbols

Returns whether the call was successful; might set one of the following error codes:

• ::clingo_error_bad_alloc