Function clingo_sys::clingo_backend_add_atom

pub unsafe extern "C" fn clingo_backend_add_atom(
    backend: *mut clingo_backend_t, 
    symbol: *mut clingo_symbol_t, 
    atom: *mut clingo_atom_t
) -> bool

Get a fresh atom to be used in aspif directives.

@param[in] backend the target backend @param[in] symbol optional symbol to associate the atom with @param[out] atom the resulting atom @return whether the call was successful