Function clingo_sys::clingo_symbolic_atoms_symbol
[−]
[src]
pub unsafe extern "C" fn clingo_symbolic_atoms_symbol(
atoms: *mut clingo_symbolic_atoms_t,
iterator: clingo_symbolic_atom_iterator_t,
symbol: *mut clingo_symbol_t
) -> bool
Get the symbolic representation of an atom.
Parameters:
atoms
the targetiterator
iterator to the atomsymbol
the resulting symbol
Returns whether the call was successful