Function clingo_sys::clingo_symbolic_atoms_is_fact

pub unsafe extern "C" fn clingo_symbolic_atoms_is_fact(
    atoms: *const 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