Home
last modified time | relevance | path

Searched refs:clingo_truth_value_t (Results 1 – 5 of 5) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h204 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 Dclingo.hh2695 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.cdef39 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 Dcontrol.cc577 …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 Dluaclingo.cc3511 clingo_truth_value_t truth; in assign_external()