Function clingo_sys::clingo_symbolic_atoms_is_fact

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 target
• iterator iterator to the atom
• fact whether the atom is a fact

Returns whether the call was successful