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 backend
  • atom - the resulting atom

Returns whether the call was successful