Home
last modified time | relevance | path

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

/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h306 CLINGO_VISIBILITY_DEFAULT bool clingo_signature_is_less_than(clingo_signature_t a, clingo_signature…
H A Dclingo.hh2325 inline bool operator< (Signature a, Signature b) { return clingo_signature_is_less_than(a.to_c(), … in operator <()
2326 inline bool operator<=(Signature a, Signature b) { return !clingo_signature_is_less_than(b.to_c(), … in operator <=()
2327 inline bool operator> (Signature a, Signature b) { return clingo_signature_is_less_than(b.to_c(), … in operator >()
2328 inline bool operator>=(Signature a, Signature b) { return !clingo_signature_is_less_than(a.to_c(), … in operator >=()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef55 bool clingo_signature_is_less_than(clingo_signature_t a, clingo_signature_t b);
H A D_clingo.c13630 return clingo_signature_is_less_than(x0, x1); in _cffi_d_clingo_signature_is_less_than()
13656 { result = clingo_signature_is_less_than(x0, x1); } in _cffi_f_clingo_signature_is_less_than()
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dcontrol.cc255 extern "C" bool clingo_signature_is_less_than(clingo_signature_t a, clingo_signature_t b) { in clingo_signature_is_less_than() function
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c12918 return clingo_signature_is_less_than(x0, x1); in _cffi_d_clingo_signature_is_less_than()
12944 { result = clingo_signature_is_less_than(x0, x1); } in _cffi_f_clingo_signature_is_less_than()