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 D | clingo.h | 306 CLINGO_VISIBILITY_DEFAULT bool clingo_signature_is_less_than(clingo_signature_t a, clingo_signature…
|
H A D | clingo.hh | 2325 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.cdef | 55 bool clingo_signature_is_less_than(clingo_signature_t a, clingo_signature_t b);
|
H A D | _clingo.c | 13630 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 D | control.cc | 255 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.c | 12918 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()
|