Searched refs:clingo_truth_value_t (Results 1 – 5 of 5) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libclingo/ |
H A D | clingo.h | 204 typedef int clingo_truth_value_t; typedef 1013 …alue(clingo_assignment_t const *assignment, clingo_literal_t literal, clingo_truth_value_t *value); 3479 …l_assign_external(clingo_control_t *control, clingo_literal_t literal, clingo_truth_value_t value);
|
H A D | clingo.hh | 2695 clingo_truth_value_t ret = 0; in truth_value() 4166 …e_error(clingo_control_assign_external(*impl_, literal, static_cast<clingo_truth_value_t>(value))); in assign_external()
|
/dports/math/clingo/clingo-5.5.1/libpyclingo/ |
H A D | _clingo.cdef | 39 typedef int clingo_truth_value_t; 141 …alue(clingo_assignment_t const *assignment, clingo_literal_t literal, clingo_truth_value_t *value); 613 …l_assign_external(clingo_control_t *control, clingo_literal_t literal, clingo_truth_value_t value);
|
/dports/math/clingo/clingo-5.5.1/libclingo/src/ |
H A D | control.cc | 577 …ment_truth_value(clingo_assignment_t const *ass, clingo_literal_t lit, clingo_truth_value_t *ret) { in clingo_assignment_truth_value() 1846 …trol_assign_external(clingo_control_t *ctl, clingo_literal_t literal, clingo_truth_value_t value) { in clingo_control_assign_external()
|
/dports/math/clingo/clingo-5.5.1/libluaclingo/ |
H A D | luaclingo.cc | 3511 clingo_truth_value_t truth; in assign_external()
|