| /dports/devel/boost-libs/boost_1_72_0/boost/numeric/interval/detail/ |
| H A D | test_input.hpp | 27 bool is_pos (T const &v) { return v > static_cast<T>(0); } in is_pos() function
|
| /dports/databases/mysqlwsrep57-server/boost_1_59_0/boost/numeric/interval/detail/ |
| H A D | test_input.hpp | 27 bool is_pos (T const &v) { return v > static_cast<T>(0); } in is_pos() function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/parsers/util/ |
| H A D | scanner.cpp | 205 scanner::token scanner::read_number(char first_char, bool is_pos) { in read_number()
|
| /dports/math/py-pystan/pystan-2.19.0.0/pystan/stan/lib/stan_math/lib/boost_1.69.0/boost/numeric/interval/detail/ |
| H A D | test_input.hpp | 27 bool is_pos (T const &v) { return v > static_cast<T>(0); } in is_pos() function
|
| /dports/databases/mysql57-client/mysql-5.7.36/boost/boost_1_59_0/boost/numeric/interval/detail/ |
| H A D | test_input.hpp | 27 bool is_pos (T const &v) { return v > static_cast<T>(0); } in is_pos() function
|
| /dports/math/gecode/gecode-0916a1a/gecode/third-party/boost/numeric/interval/detail/ |
| H A D | test_input.hpp | 27 bool is_pos (T const &v) { return v > static_cast<T>(0); } in is_pos() function
|
| /dports/graphics/povray37/povray-3.7.0.10/libraries/boost/boost/numeric/interval/detail/ |
| H A D | test_input.hpp | 27 bool is_pos (T const &v) { return v > static_cast<T>(0); } in is_pos() function
|
| /dports/biology/lamarc/lamarc-2.1.8/boost/numeric/interval/detail/ |
| H A D | test_input.hpp | 27 bool is_pos (T const &v) { return v > static_cast<T>(0); } in is_pos() function
|
| /dports/misc/otter/otter-3.3f/source/ |
| H A D | types.h | 115 struct is_pos { /* save a stack of states for backtrack in is indexing */ struct
116 struct is_pos *next; argument
125 struct is_pos *pos; /* stack of states for backtracking */ argument
|
| /dports/games/retroarch/RetroArch-1.9.7/input/drivers_joypad/ |
| H A D | qnx_joypad.c | 68 bool is_pos = false; in qnx_joypad_axis_state() local
|
| H A D | ctr_joypad.c | 83 bool is_pos = false; in ctr_joypad_axis_state() local
|
| H A D | ps3_joypad.c | 85 bool is_pos = false; in ps3_joypad_axis_state() local
|
| /dports/math/octave-forge-stk/stk/inst/misc/text/ |
| H A D | stk_sprintf_colvect_scientific.m | 48 is_pos = (x > 0); variable
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/spacer/ |
| H A D | spacer_proof_utils.cpp | 78 bool is_pos; member
96 void add_lit(app* lit, rational const &coeff, bool is_pos = true) { in add_lit()
115 bool is_pos = lit0.is_pos; in process_lit() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/ |
| H A D | spacer_proof_utils.cpp | 78 bool is_pos; member
96 void add_lit(app* lit, rational const &coeff, bool is_pos = true) { in add_lit()
115 bool is_pos = lit0.is_pos; in process_lit() local
|
| /dports/math/z3/z3-z3-4.8.13/src/qe/ |
| H A D | qe_datatype_plugin.cpp | 132 bool add_atom(contains_app& contains_x, bool is_pos, app* a) { in add_atom()
224 void add_atom(app* a, bool is_pos) { in add_atom()
234 bool add_eq(contains_app& contains_x, bool is_pos, expr* a, expr* b) { in add_eq()
854 …e_eqs(datatype_atoms& eqs, contains_app& contains_x, expr* fml, atom_set const& tbl, bool is_pos) { in update_eqs()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/ |
| H A D | qe_datatype_plugin.cpp | 132 bool add_atom(contains_app& contains_x, bool is_pos, app* a) { in add_atom()
224 void add_atom(app* a, bool is_pos) { in add_atom()
234 bool add_eq(contains_app& contains_x, bool is_pos, expr* a, expr* b) { in add_eq()
854 …e_eqs(datatype_atoms& eqs, contains_app& contains_x, expr* fml, atom_set const& tbl, bool is_pos) { in update_eqs()
|
| /dports/math/py-cvxpy/cvxpy-1.1.17/cvxpy/expressions/constants/ |
| H A D | constant.py | 79 def is_pos(self) -> bool: member in Constant
|
| /dports/math/z3/z3-z3-4.8.13/src/util/ |
| H A D | inf_eps_rational.h | 274 bool is_pos() const { in is_pos() function
|
| H A D | inf_int_rational.h | 238 bool is_pos() const { in is_pos() function
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | old_interval.h | 40 bool is_pos() const { return !is_neg() && !is_zero(); } in is_pos() function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
| H A D | inf_eps_rational.h | 274 bool is_pos() const { in is_pos() function
|
| H A D | inf_int_rational.h | 238 bool is_pos() const { in is_pos() function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | old_interval.h | 40 bool is_pos() const { return !is_neg() && !is_zero(); } in is_pos() function
|
| /dports/math/yices/yices-2.6.2/src/solvers/cdcl/ |
| H A D | smt_core_base_types.h | 97 static inline bool is_pos(literal_t l) { in is_pos() function
|