Home
last modified time | relevance | path

Searched refs:clingo_propagator_check_mode_both (Results 1 – 7 of 7) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/
H A Dpropagator.py278 Both = _lib.clingo_propagator_check_mode_both
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h1078 …clingo_propagator_check_mode_both = 3, //!< call @ref ::clingo_propagator::check() on propagat… enumerator
H A Dclingo.hh1012 Both = clingo_propagator_check_mode_both,
/dports/math/clingo/clingo-5.5.1/libluaclingo/
H A Dluaclingo.cc2496 …ator_check_mode_total, clingo_propagator_check_mode_fixpoint, clingo_propagator_check_mode_both}) { in addToRegistry()
2508 case clingo_propagator_check_mode_both: { return "Both"; } in field_()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef153 clingo_propagator_check_mode_both = 3, //!< call @ref ::clingo_propagator::check() on propagati…
H A D_clingo.c3802 int n = (clingo_propagator_check_mode_both) <= 0; in _cffi_const_clingo_propagator_check_mode_both()
3803 …*o = (unsigned long long)((clingo_propagator_check_mode_both) | 0); /* check that clingo_propagat… in _cffi_const_clingo_propagator_check_mode_both()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c3031 int n = (clingo_propagator_check_mode_both) <= 0; in _cffi_const_clingo_propagator_check_mode_both()
3032 …*o = (unsigned long long)((clingo_propagator_check_mode_both) | 0); /* check that clingo_propagat… in _cffi_const_clingo_propagator_check_mode_both()