Searched refs:lp_value_cmp_rational (Results 1 – 11 of 11) sorted by relevance
/dports/math/py-libpoly/libpoly-0.1.11/src/polyxx/ |
H A D | value.cpp | 72 return lp_value_cmp_rational(lhs.get_internal(), rhs.get_internal()) == 0; in operator ==() 75 return lp_value_cmp_rational(lhs.get_internal(), rhs.get_internal()) != 0; in operator !=() 78 return lp_value_cmp_rational(lhs.get_internal(), rhs.get_internal()) < 0; in operator <() 81 return lp_value_cmp_rational(lhs.get_internal(), rhs.get_internal()) <= 0; in operator <=() 84 return lp_value_cmp_rational(lhs.get_internal(), rhs.get_internal()) > 0; in operator >() 87 return lp_value_cmp_rational(lhs.get_internal(), rhs.get_internal()) >= 0; in operator >=() 91 return lp_value_cmp_rational(rhs.get_internal(), lhs.get_internal()) == 0; in operator ==() 94 return lp_value_cmp_rational(rhs.get_internal(), lhs.get_internal()) != 0; in operator !=() 97 return lp_value_cmp_rational(rhs.get_internal(), lhs.get_internal()) > 0; in operator <() 100 return lp_value_cmp_rational(rhs.get_internal(), lhs.get_internal()) >= 0; in operator <=() [all …]
|
/dports/math/libpoly/libpoly-0.1.11/src/polyxx/ |
H A D | value.cpp | 72 return lp_value_cmp_rational(lhs.get_internal(), rhs.get_internal()) == 0; in operator ==() 75 return lp_value_cmp_rational(lhs.get_internal(), rhs.get_internal()) != 0; in operator !=() 78 return lp_value_cmp_rational(lhs.get_internal(), rhs.get_internal()) < 0; in operator <() 81 return lp_value_cmp_rational(lhs.get_internal(), rhs.get_internal()) <= 0; in operator <=() 84 return lp_value_cmp_rational(lhs.get_internal(), rhs.get_internal()) > 0; in operator >() 87 return lp_value_cmp_rational(lhs.get_internal(), rhs.get_internal()) >= 0; in operator >=() 91 return lp_value_cmp_rational(rhs.get_internal(), lhs.get_internal()) == 0; in operator ==() 94 return lp_value_cmp_rational(rhs.get_internal(), lhs.get_internal()) != 0; in operator !=() 97 return lp_value_cmp_rational(rhs.get_internal(), lhs.get_internal()) > 0; in operator <() 100 return lp_value_cmp_rational(rhs.get_internal(), lhs.get_internal()) >= 0; in operator <=() [all …]
|
/dports/math/py-libpoly/libpoly-0.1.11/include/ |
H A D | value.h | 130 int lp_value_cmp_rational(const lp_value_t* v, const lp_rational_t* q);
|
/dports/math/libpoly/libpoly-0.1.11/include/ |
H A D | value.h | 130 int lp_value_cmp_rational(const lp_value_t* v, const lp_rational_t* q);
|
/dports/math/yices/yices-2.6.2/src/mcsat/ |
H A D | value.c | 368 int cmp = lp_value_cmp_rational(&value->lp_value, &zero); in mcsat_value_is_zero()
|
/dports/math/py-libpoly/libpoly-0.1.11/src/interval/ |
H A D | interval.c | 651 int cmp_a_v = -lp_value_cmp_rational(v, &I->a); in lp_rational_interval_contains_value() 657 int cmp_v_b = lp_value_cmp_rational(v, &I->b); in lp_rational_interval_contains_value()
|
/dports/math/libpoly/libpoly-0.1.11/src/interval/ |
H A D | interval.c | 651 int cmp_a_v = -lp_value_cmp_rational(v, &I->a); in lp_rational_interval_contains_value() 657 int cmp_v_b = lp_value_cmp_rational(v, &I->b); in lp_rational_interval_contains_value()
|
/dports/math/py-libpoly/libpoly-0.1.11/debian/ |
H A D | libpoly0.symbols | 559 lp_value_cmp_rational@Base 1.3
|
/dports/math/libpoly/libpoly-0.1.11/debian/ |
H A D | libpoly0.symbols | 559 lp_value_cmp_rational@Base 1.3
|
/dports/math/py-libpoly/libpoly-0.1.11/src/number/ |
H A D | value.c | 370 int lp_value_cmp_rational(const lp_value_t* v, const lp_rational_t* q) { in lp_value_cmp_rational() function
|
/dports/math/libpoly/libpoly-0.1.11/src/number/ |
H A D | value.c | 370 int lp_value_cmp_rational(const lp_value_t* v, const lp_rational_t* q) { in lp_value_cmp_rational() function
|