Searched refs:clingo_propagator_check_mode_none (Results 1 – 7 of 7) sorted by relevance
286 Off = _lib.clingo_propagator_check_mode_none
1075 …clingo_propagator_check_mode_none = 0, //!< do not call @ref ::clingo_propagator::check() at a… enumerator
1009 None = clingo_propagator_check_mode_none,
2496 …for (auto t : {clingo_propagator_check_mode_none, clingo_propagator_check_mode_total, clingo_propa… in addToRegistry()2505 case clingo_propagator_check_mode_none: { return "Off"; } in field_()
150 clingo_propagator_check_mode_none = 0, //!< do not call @ref ::clingo_propagator::check() at all
3781 int n = (clingo_propagator_check_mode_none) <= 0; in _cffi_const_clingo_propagator_check_mode_none()3782 …*o = (unsigned long long)((clingo_propagator_check_mode_none) | 0); /* check that clingo_propagat… in _cffi_const_clingo_propagator_check_mode_none()
3010 int n = (clingo_propagator_check_mode_none) <= 0; in _cffi_const_clingo_propagator_check_mode_none()3011 …*o = (unsigned long long)((clingo_propagator_check_mode_none) | 0); /* check that clingo_propagat… in _cffi_const_clingo_propagator_check_mode_none()