Home
last modified time | relevance | path

Searched refs:clingo_propagator_check_mode_t (Results 1 – 6 of 6) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libclingo/clingo/
H A Dcontrol.hh205 virtual clingo_propagator_check_mode_t getCheckMode() const = 0;
206 virtual void setCheckMode(clingo_propagator_check_mode_t checkMode) = 0;
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h1081 typedef int clingo_propagator_check_mode_t; typedef
1172 …_propagate_init_set_check_mode(clingo_propagate_init_t *init, clingo_propagator_check_mode_t mode);
1178 CLINGO_VISIBILITY_DEFAULT clingo_propagator_check_mode_t clingo_propagate_init_get_check_mode(cling…
H A Dclingo.hh1008 enum PropagatorCheckMode : clingo_propagator_check_mode_t {
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dclingocontrol.cc457 void setCheckMode(clingo_propagator_check_mode_t checkMode) override { in setCheckMode()
461 clingo_propagator_check_mode_t getCheckMode() const override { return p_.checkMode(); } in getCheckMode()
H A Dcontrol.cc691 …propagate_init_set_check_mode(clingo_propagate_init_t *init, clingo_propagator_check_mode_t mode) { in clingo_propagate_init_set_check_mode()
695 extern "C" clingo_propagator_check_mode_t clingo_propagate_init_get_check_mode(clingo_propagate_ini… in clingo_propagate_init_get_check_mode()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef155 typedef int clingo_propagator_check_mode_t;
172 …_propagate_init_set_check_mode(clingo_propagate_init_t *init, clingo_propagator_check_mode_t mode);
173 clingo_propagator_check_mode_t clingo_propagate_init_get_check_mode(clingo_propagate_init_t const *…