[−][src]Function clingo_sys::clingo_symbolic_atoms_find
pub unsafe extern "C" fn clingo_symbolic_atoms_find(
atoms: *mut clingo_symbolic_atoms_t,
symbol: clingo_symbol_t,
iterator: *mut clingo_symbolic_atom_iterator_t
) -> bool
Find a symbolic atom given its symbolic representation.
@param[in] atoms the target @param[in] symbol the symbol to lookup @param[out] iterator iterator pointing to the symbolic atom or to the end of the sequence if no corresponding atom is found @return whether the call was successful