Function clingo_sys::clingo_theory_atoms_atom_has_guard
[−]
[src]
pub unsafe extern "C" fn clingo_theory_atoms_atom_has_guard(
atoms: *const clingo_theory_atoms_t,
atom: clingo_id_t,
has_guard: *mut bool
) -> bool
Whether the theory atom has a guard.
Parameters:
atoms
- container where the atom is storedatom
- id of the atomhas_guard
- whether the theory atom has a guard
Returns whether the call was successful