Function clingo_sys::clingo_symbolic_atoms_is_fact
[−]
[src]
pub unsafe extern "C" fn clingo_symbolic_atoms_is_fact(
atoms: *mut clingo_symbolic_atoms_t,
iterator: clingo_symbolic_atom_iterator_t,
fact: *mut bool
) -> bool
Check whether an atom is a fact.
Note: This does not determine if an atom is a cautious consequence. The grounding or solving component`s simplifications can only detect this in some cases.
Parameters:
atoms
the targetiterator
iterator to the atomfact
whether the atom is a fact
Returns whether the call was successful