/dports/math/xlife++/xlifepp-sources-v2.0.1-2018-05-09/src/geometry/ |
H A D | geometries2D.cpp | 1956 std::vector<number_t> ne(4); in n() local
|
/dports/math/xlife++/xlifepp-sources-v2.0.1-2018-05-09/src/geometry/ioMesh/ |
H A D | mel.cpp | 175 number_t ne=0; in melExport() local
|
/dports/math/xlife++/xlifepp-sources-v2.0.1-2018-05-09/src/hierarchicalMatrix/ |
H A D | HMatrix.hpp | 94 HMatrixNode(HMatrixNode<T, I>* pa, HMatrixNode<T, I>* ch, HMatrixNode<T, I>* ne, number_t d, in HMatrixNode()
|
/dports/math/xlife++/xlifepp-sources-v2.0.1-2018-05-09/tests/sys/ |
H A D | sys_FE_IM.cpp | 65 Number ne=Number(2*pi_*re/h); // number of elements on Sigma in sys_FE_IM() local
|
/dports/math/xtensor/xtensor-0.24.0/include/xtensor/ |
H A D | xpad.hpp | 93 size_type ne = static_cast<size_type>(pad_width[axis][1]); in pad() local 117 size_type ne = static_cast<size_type>(pad_width[axis][1]); in pad() local
|
/dports/math/yices/yices-2.6.2/src/solvers/funs/ |
H A D | fun_solver.c | 503 static void fun_trail_stack_save(fun_trail_stack_t *stack, uint32_t nv, uint32_t ne) { in fun_trail_stack_save()
|
/dports/math/yices/yices-2.6.2/tests/unit/ |
H A D | test_th_explanations.c | 79 uint32_t na, ne; in show_th_explanation() local 166 static void random_test(th_explanation_t *e, uint32_t na, uint32_t ne) { in random_test()
|
/dports/math/z3/z3-z3-4.8.13/examples/tptp/ |
H A D | tptp5.cpp | 2247 unsigned ne = fi.num_entries(); in display_model() local
|
/dports/math/z3/z3-z3-4.8.13/src/qe/mbp/ |
H A D | mbp_term_graph.cpp | 1221 expr* ne, *a, *b; in dcert() local
|
/dports/math/z3/z3-z3-4.8.13/src/qe/ |
H A D | qe_arith_plugin.cpp | 255 bool is_neg(app* e, expr_ref& ne) { in is_neg()
|
H A D | qe_datatype_plugin.cpp | 658 expr_ref ne(m.mk_not(m.mk_eq(x, eqs.eq(i))), m); in assign_rec() local
|
H A D | qe_lite.cpp | 629 expr *r = nullptr, *l = nullptr, *ne = nullptr; in remove_unconstrained() local
|
/dports/math/z3/z3-z3-4.8.13/src/sat/ |
H A D | sat_cut_simplifier.cpp | 40 unsigned ne = s.m_stats.m_num_eqs - m_num_eqs; in ~report() local
|
/dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
H A D | bv_solver.cpp | 205 void solver::new_diseq_eh(euf::th_eq const& ne) { in new_diseq_eh()
|
/dports/math/z3/z3-z3-4.8.13/src/smt/ |
H A D | theory_recfun.cpp | 435 for (auto * ne : unsat_core) { in should_research() local
|
H A D | theory_seq.cpp | 2119 for (auto const& ne : m_nqs) { in validate_model() local
|
H A D | theory_seq.h | 184 ne(expr_ref const& l, expr_ref const& r, dependency* dep): in ne() function 191 …ne(expr_ref const& _l, expr_ref const& _r, vector<decomposed_eq> const& eqs, literal_vector const&… in ne() function
|
/dports/misc/amanda-client/amanda-3.3.9/perl/Amanda/ |
H A D | Application.c | 379 const char* ne = nb; in SWIG_TypeCmp() local
|
H A D | Archive.c | 379 const char* ne = nb; in SWIG_TypeCmp() local
|
H A D | Cmdline.c | 379 const char* ne = nb; in SWIG_TypeCmp() local
|
H A D | Config.c | 379 const char* ne = nb; in SWIG_TypeCmp() local
|
H A D | Debug.c | 379 const char* ne = nb; in SWIG_TypeCmp() local
|
H A D | Device.c | 379 const char* ne = nb; in SWIG_TypeCmp() local
|
H A D | Disklist.c | 379 const char* ne = nb; in SWIG_TypeCmp() local
|
H A D | Feature.c | 379 const char* ne = nb; in SWIG_TypeCmp() local
|