Function clingo_sys::clingo_backend_add_atom
[−]
[src]
pub unsafe extern "C" fn clingo_backend_add_atom(
backend: *mut clingo_backend_t,
atom: *mut clingo_atom_t
) -> bool
Get a fresh atom to be used in aspif directives.
Parameters:
backend
the target backendatom
the resulting atom
Returns whether the call was successful