Home
last modified time | relevance | path

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 Dvalue.cpp72 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 Dvalue.cpp72 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 Dvalue.h130 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 Dvalue.h130 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 Dvalue.c368 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 Dinterval.c651 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 Dinterval.c651 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 Dlibpoly0.symbols559 lp_value_cmp_rational@Base 1.3
/dports/math/libpoly/libpoly-0.1.11/debian/
H A Dlibpoly0.symbols559 lp_value_cmp_rational@Base 1.3
/dports/math/py-libpoly/libpoly-0.1.11/src/number/
H A Dvalue.c370 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 Dvalue.c370 int lp_value_cmp_rational(const lp_value_t* v, const lp_rational_t* q) { in lp_value_cmp_rational() function