Searched refs:clingo_weight_t (Results 1 – 5 of 5) sorted by relevance
| /dports/math/clingo/clingo-5.5.1/libclingo/ |
| H A D | clingo.h | 127 typedef int32_t clingo_weight_t; typedef
131 clingo_weight_t weight;
1226 …l_t literal, clingo_weighted_literal_t const *literals, size_t size, clingo_weight_t bound, clingo…
1237 …clingo_propagate_init_t *init, clingo_literal_t literal, clingo_weight_t weight, clingo_weight_t p…
1550 … *backend, bool choice, clingo_atom_t const *head, size_t head_size, clingo_weight_t lower_bound, …
1559 CLINGO_VISIBILITY_DEFAULT bool clingo_backend_minimize(clingo_backend_t *backend, clingo_weight_t p…
3109 …bool (*weight_rule)(bool choice, clingo_atom_t const *head, size_t head_size, clingo_weight_t lowe…
3117 …bool (*minimize)(clingo_weight_t priority, clingo_weighted_literal_t const* literals, size_t size,…
|
| H A D | clingo.hh | 505 using weight_t = clingo_weight_t;
510 WeightedLiteral(clingo_literal_t lit, clingo_weight_t weight) in WeightedLiteral()
4295 inline bool g_weight_rule(bool choice, clingo_atom_t const *head, size_t head_size, clingo_weight_t… in g_weight_rule()
4301 inline bool g_minimize(clingo_weight_t priority, clingo_weighted_literal_t const* literals, size_t … in g_minimize()
|
| /dports/math/clingo/clingo-5.5.1/libpyclingo/ |
| H A D | _clingo.cdef | 4 typedef int32_t clingo_weight_t;
7 clingo_weight_t weight;
177 …l_t literal, clingo_weighted_literal_t const *literals, size_t size, clingo_weight_t bound, clingo…
178 …clingo_propagate_init_t *init, clingo_literal_t literal, clingo_weight_t weight, clingo_weight_t p…
227 … *backend, bool choice, clingo_atom_t const *head, size_t head_size, clingo_weight_t lower_bound, …
228 bool clingo_backend_minimize(clingo_backend_t *backend, clingo_weight_t priority, clingo_weighted_l…
582 bool (*weight_rule)(bool choice, clingo_atom_t const *head, size_t head_size, clingo_weight_t lower…
583 bool (*minimize)(clingo_weight_t priority, clingo_weighted_literal_t const* literals, size_t size, …
671 …eight_rule(bool choice, clingo_atom_t const *head, size_t head_size, clingo_weight_t lower_bound, …
672 extern "Python" bool pyclingo_observer_minimize(clingo_weight_t priority, clingo_weighted_literal_t…
|
| /dports/math/clingo/clingo-5.5.1/libluaclingo/ |
| H A D | luaclingo.cc | 475 std::pair<clingo_literal_t&, clingo_weight_t&> y{x.literal, x.weight}; in luaToCpp()
2161 clingo_weight_t lower; in addWeightRule()
2184 clingo_weight_t priority; in addMinimize()
2588 clingo_weight_t bound; in addWeightConstraint()
2605 clingo_weight_t weight; in addMinimize()
2606 clingo_weight_t priority{0}; in addMinimize()
3100 …eight_rule(bool choice, clingo_atom_t const *head, size_t head_size, clingo_weight_t lower_bound, … in weight_rule()
3103 …static bool minimize(clingo_weight_t priority, clingo_weighted_literal_t const* literals, size_t s… in minimize()
|
| /dports/math/clingo/clingo-5.5.1/libclingo/src/ |
| H A D | control.cc | 713 …l_t literal, clingo_weighted_literal_t const *literals, size_t size, clingo_weight_t bound, clingo… in clingo_propagate_init_add_weight_constraint()
718 …clingo_propagate_init_t *init, clingo_literal_t literal, clingo_weight_t weight, clingo_weight_t p… in clingo_propagate_init_add_minimize()
1079 …d_t *backend, bool choice, clingo_atom_t const *head, size_t head_n, clingo_weight_t lower, clingo… in clingo_backend_weight_rule()
1084 extern "C" bool clingo_backend_minimize(clingo_backend_t *backend, clingo_weight_t prio, clingo_wei… in clingo_backend_minimize()
|