Home
last modified time | relevance | path

Searched refs:app_ref (Results 1 – 25 of 469) sorted by relevance

12345678910>>...19

/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Dast_util.h105 inline app_ref mk_and(app_ref_vector const& args) { return app_ref(mk_and(args.get_manager(), args.… in mk_and()
108 inline app_ref operator&(expr_ref& a, expr* b) { return app_ref(a.m().mk_and(a, b), a.m()); }
109 inline app_ref operator&(app_ref& a, expr* b) { return app_ref(a.m().mk_and(a, b), a.m()); }
110 inline app_ref operator&(var_ref& a, expr* b) { return app_ref(a.m().mk_and(a, b), a.m()); }
111 inline app_ref operator&(quantifier_ref& a, expr* b) { return app_ref(a.m().mk_and(a, b), a.m()); }
113 inline app_ref operator|(expr_ref& a, expr* b) { return app_ref(a.m().mk_or(a, b), a.m()); }
114 inline app_ref operator|(app_ref& a, expr* b) { return app_ref(a.m().mk_or(a, b), a.m()); }
115 inline app_ref operator|(var_ref& a, expr* b) { return app_ref(a.m().mk_or(a, b), a.m()); }
116 inline app_ref operator|(quantifier_ref& a, expr* b) { return app_ref(a.m().mk_or(a, b), a.m()); }
117 app_ref operator+(expr_ref& a, expr_ref& b);
[all …]
H A Darith_decl_plugin.h518 inline app_ref operator+(app_ref const& x, app_ref const& y) {
527 inline app_ref operator+(app_ref const& x, int y) {
535 inline app_ref operator+(int x, app_ref const& y) {
539 inline app_ref operator-(app_ref const& x, app_ref const& y) {
548 inline app_ref operator-(app_ref const& x, int y) {
556 inline app_ref operator-(int x, app_ref const& y) {
561 inline app_ref operator*(app_ref const& x, app_ref const& y) {
582 inline app_ref operator<=(app_ref const& x, app_ref const& y) {
595 inline app_ref operator>=(app_ref const& x, app_ref const& y) {
600 inline app_ref operator<(app_ref const& x, app_ref const& y) {
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Dast_util.h105 inline app_ref mk_and(app_ref_vector const& args) { return app_ref(mk_and(args.get_manager(), args.… in mk_and()
108 inline app_ref operator&(expr_ref& a, expr* b) { return app_ref(a.m().mk_and(a, b), a.m()); }
109 inline app_ref operator&(app_ref& a, expr* b) { return app_ref(a.m().mk_and(a, b), a.m()); }
110 inline app_ref operator&(var_ref& a, expr* b) { return app_ref(a.m().mk_and(a, b), a.m()); }
111 inline app_ref operator&(quantifier_ref& a, expr* b) { return app_ref(a.m().mk_and(a, b), a.m()); }
113 inline app_ref operator|(expr_ref& a, expr* b) { return app_ref(a.m().mk_or(a, b), a.m()); }
114 inline app_ref operator|(app_ref& a, expr* b) { return app_ref(a.m().mk_or(a, b), a.m()); }
115 inline app_ref operator|(var_ref& a, expr* b) { return app_ref(a.m().mk_or(a, b), a.m()); }
116 inline app_ref operator|(quantifier_ref& a, expr* b) { return app_ref(a.m().mk_or(a, b), a.m()); }
117 app_ref operator+(expr_ref& a, expr_ref& b);
[all …]
H A Darith_decl_plugin.h516 inline app_ref operator+(app_ref const& x, app_ref const& y) {
525 inline app_ref operator+(app_ref const& x, int y) {
533 inline app_ref operator+(int x, app_ref const& y) {
537 inline app_ref operator-(app_ref const& x, app_ref const& y) {
546 inline app_ref operator-(app_ref const& x, int y) {
554 inline app_ref operator-(int x, app_ref const& y) {
559 inline app_ref operator*(app_ref const& x, app_ref const& y) {
580 inline app_ref operator<=(app_ref const& x, app_ref const& y) {
593 inline app_ref operator>=(app_ref const& x, app_ref const& y) {
598 inline app_ref operator<(app_ref const& x, app_ref const& y) {
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/
H A Dmatcher.cpp83 app_ref a( m.mk_const(symbol("a"), s), m);
84 app_ref b( m.mk_const(symbol("b"), s), m);
87 app_ref gx( m.mk_app(g.get(), x.get()), m);
88 app_ref fgx_x( m.mk_app(f, gx.get(), x.get()), m);
89 app_ref ha( m.mk_app(h, a.get()), m);
90 app_ref gha( m.mk_app(g, ha.get()), m);
91 app_ref fgha_ha( m.mk_app(f, gha.get(), ha.get()), m);
94 app_ref fgha_gha( m.mk_app(f, gha.get(), gha.get()), m);
97 app_ref fxy( m.mk_app(f, x.get(), y.get()), m);
98 app_ref fyx( m.mk_app(f, y.get(), x.get()), m);
[all …]
H A Dcheck_assumptions.cpp27 app_ref p(mgr.mk_app(pPred,0,static_cast<expr * const *>(nullptr)), mgr); in tst_check_assumptions()
28 app_ref q(mgr.mk_app(qPred,0,static_cast<expr * const *>(nullptr)), mgr); in tst_check_assumptions()
29 app_ref r(mgr.mk_app(rPred,0,static_cast<expr * const *>(nullptr)), mgr); in tst_check_assumptions()
30 app_ref pOqOr(mgr.mk_or(p,q,r), mgr); in tst_check_assumptions()
32 app_ref np(mgr.mk_not(p), mgr); in tst_check_assumptions()
33 app_ref nq(mgr.mk_not(q), mgr); in tst_check_assumptions()
34 app_ref nr(mgr.mk_not(r), mgr); in tst_check_assumptions()
H A Dsmt_context.cpp19 app_ref a1(m.mk_const(symbol("a"), m.mk_bool_sort()), m); in send_recv()
20 app_ref b1(m.mk_const(symbol("b"), m.mk_bool_sort()), m); in send_recv()
21 app_ref c1(m.mk_const(symbol("c"), m.mk_bool_sort()), m); in send_recv()
22 app_ref na1(m.mk_not(a1), m); in send_recv()
27 app_ref nc(m.mk_not(c1), m); in send_recv()
H A Dnlarith_util.cpp17 app_ref one(A.mk_numeral(rational(1), false), M);
18 app_ref two(A.mk_numeral(rational(2), false), M);
19 app_ref ten(A.mk_numeral(rational(10), false), M);
20 app_ref x(M.mk_const(symbol("x"), R), M);
21 app_ref y(M.mk_const(symbol("y"), R), M);
22 app_ref z(M.mk_const(symbol("z"), R), M);
H A Dmodel_retrieval.cpp40 app_ref a1(m.mk_const(symbol("a1"), arr_s), m); in tst_model_retrieval()
41 app_ref a2(m.mk_const(symbol("a2"), arr_s), m); in tst_model_retrieval()
44 app_ref fml(m.mk_eq(m.mk_true(), in tst_model_retrieval()
57 app_ref fml2(m.mk_eq(a2, a1_val), m); in tst_model_retrieval()
/dports/math/z3/z3-z3-4.8.13/src/test/
H A Dmatcher.cpp83 app_ref a( m.mk_const(symbol("a"), s), m); in tst1()
84 app_ref b( m.mk_const(symbol("b"), s), m); in tst1()
87 app_ref gx( m.mk_app(g.get(), x.get()), m); in tst1()
88 app_ref fgx_x( m.mk_app(f, gx.get(), x.get()), m); in tst1()
89 app_ref ha( m.mk_app(h, a.get()), m); in tst1()
90 app_ref gha( m.mk_app(g, ha.get()), m); in tst1()
91 app_ref fgha_ha( m.mk_app(f, gha.get(), ha.get()), m); in tst1()
94 app_ref fgha_gha( m.mk_app(f, gha.get(), gha.get()), m); in tst1()
97 app_ref fxy( m.mk_app(f, x.get(), y.get()), m); in tst1()
98 app_ref fyx( m.mk_app(f, y.get(), x.get()), m); in tst1()
[all …]
H A Dcheck_assumptions.cpp27 app_ref p(mgr.mk_app(pPred,0,static_cast<expr * const *>(nullptr)), mgr); in tst_check_assumptions()
28 app_ref q(mgr.mk_app(qPred,0,static_cast<expr * const *>(nullptr)), mgr); in tst_check_assumptions()
29 app_ref r(mgr.mk_app(rPred,0,static_cast<expr * const *>(nullptr)), mgr); in tst_check_assumptions()
30 app_ref pOqOr(mgr.mk_or(p,q,r), mgr); in tst_check_assumptions()
32 app_ref np(mgr.mk_not(p), mgr); in tst_check_assumptions()
33 app_ref nq(mgr.mk_not(q), mgr); in tst_check_assumptions()
34 app_ref nr(mgr.mk_not(r), mgr); in tst_check_assumptions()
H A Dsmt_context.cpp19 app_ref a1(m.mk_const(symbol("a"), m.mk_bool_sort()), m); in tst_smt_context()
20 app_ref b1(m.mk_const(symbol("b"), m.mk_bool_sort()), m); in tst_smt_context()
21 app_ref c1(m.mk_const(symbol("c"), m.mk_bool_sort()), m); in tst_smt_context()
22 app_ref na1(m.mk_not(a1), m); in tst_smt_context()
25 app_ref b_or_c(m.mk_or(c1.get(), b1.get()), m); in tst_smt_context()
29 app_ref nc(m.mk_not(c1), m); in tst_smt_context()
H A Dnlarith_util.cpp17 app_ref one(A.mk_numeral(rational(1), false), M); in tst_nlarith_util()
18 app_ref two(A.mk_numeral(rational(2), false), M); in tst_nlarith_util()
19 app_ref ten(A.mk_numeral(rational(10), false), M); in tst_nlarith_util()
20 app_ref x(M.mk_const(symbol("x"), R), M); in tst_nlarith_util()
21 app_ref y(M.mk_const(symbol("y"), R), M); in tst_nlarith_util()
22 app_ref z(M.mk_const(symbol("z"), R), M); in tst_nlarith_util()
/dports/math/vtk8/VTK-8.2.0/ThirdParty/hdf5/vtkhdf5/src/
H A DH5Iprivate.h68 H5_DLL herr_t H5I_clear_type(H5I_type_t type, hbool_t force, hbool_t app_ref);
69 H5_DLL hid_t H5I_register(H5I_type_t type, const void *object, hbool_t app_ref);
70 H5_DLL herr_t H5I_register_with_id(H5I_type_t type, const void *object, hbool_t app_ref, hid_t id);
75 H5_DLL hid_t H5I_get_file_id(hid_t obj_id, hbool_t app_ref);
77 H5_DLL herr_t H5I_iterate(H5I_type_t type, H5I_search_func_t func, void *udata, hbool_t app_ref);
78 H5_DLL int H5I_get_ref(hid_t id, hbool_t app_ref);
79 H5_DLL int H5I_inc_ref(hid_t id, hbool_t app_ref);
/dports/science/hdf5-18/hdf5-1.8.21/src/
H A DH5Iprivate.h69 H5_DLL herr_t H5I_clear_type(H5I_type_t type, hbool_t force, hbool_t app_ref);
70 H5_DLL hid_t H5I_register(H5I_type_t type, const void *object, hbool_t app_ref);
75 H5_DLL hid_t H5I_get_file_id(hid_t obj_id, hbool_t app_ref);
77 H5_DLL herr_t H5I_iterate(H5I_type_t type, H5I_search_func_t func, void *udata, hbool_t app_ref);
78 H5_DLL int H5I_get_ref(hid_t id, hbool_t app_ref);
79 H5_DLL int H5I_inc_ref(hid_t id, hbool_t app_ref);
/dports/math/vtk6/VTK-6.2.0/ThirdParty/hdf5/vtkhdf5/src/
H A DH5Iprivate.h71 H5_DLL herr_t H5I_clear_type(H5I_type_t type, hbool_t force, hbool_t app_ref);
72 H5_DLL hid_t H5I_register(H5I_type_t type, const void *object, hbool_t app_ref);
77 H5_DLL hid_t H5I_get_file_id(hid_t obj_id, hbool_t app_ref);
79 H5_DLL herr_t H5I_iterate(H5I_type_t type, H5I_search_func_t func, void *udata, hbool_t app_ref);
80 H5_DLL int H5I_get_ref(hid_t id, hbool_t app_ref);
81 H5_DLL int H5I_inc_ref(hid_t id, hbool_t app_ref);
/dports/science/InsightToolkit/ITK-5.0.1/Modules/ThirdParty/HDF5/src/itkhdf5/src/
H A DH5Iprivate.h68 H5_DLL herr_t H5I_clear_type(H5I_type_t type, hbool_t force, hbool_t app_ref);
69 H5_DLL hid_t H5I_register(H5I_type_t type, const void *object, hbool_t app_ref);
70 H5_DLL herr_t H5I_register_with_id(H5I_type_t type, const void *object, hbool_t app_ref, hid_t id);
77 H5_DLL herr_t H5I_iterate(H5I_type_t type, H5I_search_func_t func, void *udata, hbool_t app_ref);
78 H5_DLL int H5I_get_ref(hid_t id, hbool_t app_ref);
79 H5_DLL int H5I_inc_ref(hid_t id, hbool_t app_ref);
/dports/science/hdf5/hdf5-1.10.6/src/
H A DH5Iprivate.h68 H5_DLL herr_t H5I_clear_type(H5I_type_t type, hbool_t force, hbool_t app_ref);
69 H5_DLL hid_t H5I_register(H5I_type_t type, const void *object, hbool_t app_ref);
70 H5_DLL herr_t H5I_register_with_id(H5I_type_t type, const void *object, hbool_t app_ref, hid_t id);
77 H5_DLL herr_t H5I_iterate(H5I_type_t type, H5I_search_func_t func, void *udata, hbool_t app_ref);
78 H5_DLL int H5I_get_ref(hid_t id, hbool_t app_ref);
79 H5_DLL int H5I_inc_ref(hid_t id, hbool_t app_ref);
/dports/math/z3/z3-z3-4.8.13/src/ast/macros/
H A Dmacro_util.h97 bool is_left_simple_macro(expr * n, unsigned num_decls, app_ref & head, expr_ref & def) const;
98 bool is_right_simple_macro(expr * n, unsigned num_decls, app_ref & head, expr_ref & def) const;
99 bool is_simple_macro(expr * n, unsigned num_decls, app_ref& head, expr_ref & def) const { in is_simple_macro()
103 …bool is_arith_macro(expr * n, unsigned num_decls, app_ref & head, expr_ref & def, bool & inv) cons…
104 bool is_arith_macro(expr * n, unsigned num_decls, app_ref & head, expr_ref & def) const { in is_arith_macro()
111 bool is_pseudo_head(expr * n, unsigned num_decls, app_ref & head, app_ref & t);
112 bool is_pseudo_predicate_macro(expr * n, app_ref & head, app_ref & t, expr_ref & def);
116 …void quasi_macro_head_to_macro_head(app * qhead, unsigned & num_decls, app_ref & head, expr_ref & …
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/macros/
H A Dmacro_util.h97 bool is_left_simple_macro(expr * n, unsigned num_decls, app_ref & head, expr_ref & def) const;
98 bool is_right_simple_macro(expr * n, unsigned num_decls, app_ref & head, expr_ref & def) const;
99 bool is_simple_macro(expr * n, unsigned num_decls, app_ref& head, expr_ref & def) const { in is_simple_macro()
103 …bool is_arith_macro(expr * n, unsigned num_decls, app_ref & head, expr_ref & def, bool & inv) cons…
104 bool is_arith_macro(expr * n, unsigned num_decls, app_ref & head, expr_ref & def) const { in is_arith_macro()
111 bool is_pseudo_head(expr * n, unsigned num_decls, app_ref & head, app_ref & t);
112 bool is_pseudo_predicate_macro(expr * n, app_ref & head, app_ref & t, expr_ref & def);
116 …void quasi_macro_head_to_macro_head(app * qhead, unsigned & num_decls, app_ref & head, expr_ref & …
/dports/math/vtk9/VTK-9.1.0/ThirdParty/hdf5/vtkhdf5/src/
H A DH5Iprivate.h66 H5_DLL herr_t H5I_clear_type(H5I_type_t type, hbool_t force, hbool_t app_ref);
68 H5_DLL herr_t H5I_iterate(H5I_type_t type, H5I_search_func_t func, void *udata, hbool_t app_ref…
69 H5_DLL int H5I_get_ref(hid_t id, hbool_t app_ref);
70 H5_DLL int H5I_inc_ref(hid_t id, hbool_t app_ref);
95 H5_DLL hid_t H5I_register(H5I_type_t type, const void *object, hbool_t app_ref);
96 H5_DLL herr_t H5I_register_using_existing_id(H5I_type_t type, void *object, hbool_t app_ref,
H A DH5VLpkg.h46 H5_DLL hid_t H5VL__register_connector(const void *cls, hbool_t app_ref, hid_t vipl_id);
47 H5_DLL hid_t H5VL__register_connector_by_class(const H5VL_class_t *cls, hbool_t app_ref, hid_t vi…
48 H5_DLL hid_t H5VL__register_connector_by_name(const char *name, hbool_t app_ref, hid_t vipl_id);
49 H5_DLL hid_t H5VL__register_connector_by_value(H5VL_class_value_t value, hbool_t app_ref, hid_t v…
H A DH5Iint.c306 H5I_clear_type(H5I_type_t type, hbool_t force, hbool_t app_ref) in H5I_clear_type() argument
325 udata.app_ref = app_ref; in H5I_clear_type()
519 info->app_count = !!app_ref; in H5I_register()
596 info->app_count = !!app_ref; in H5I_register_using_existing_id()
1092 H5I_inc_ref(hid_t id, hbool_t app_ref) in H5I_inc_ref() argument
1108 if (app_ref) in H5I_inc_ref()
1112 ret_value = (int)(app_ref ? info->app_count : info->count); in H5I_inc_ref()
1129 H5I_get_ref(hid_t id, hbool_t app_ref) in H5I_get_ref() argument
1144 ret_value = (int)(app_ref ? info->app_count : info->count); in H5I_get_ref()
1293 if ((!udata->app_ref) || (info->app_count > 0)) { in H5I__iterate_cb()
[all …]
/dports/math/z3/z3-z3-4.8.13/src/qe/
H A Dnlarith_util.cpp26 app_ref m_inf;
27 app_ref m_sup;
80 app_ref m_zero;
81 app_ref m_one;
368 app_ref m_a;
369 app_ref m_b;
370 app_ref m_c;
377 app_ref m_a;
379 app_ref m_c;
380 app_ref m_d;
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/
H A Dnlarith_util.cpp26 app_ref m_inf;
27 app_ref m_sup;
80 app_ref m_zero;
81 app_ref m_one;
368 app_ref m_a;
369 app_ref m_b;
370 app_ref m_c;
377 app_ref m_a;
379 app_ref m_c;
380 app_ref m_d;
[all …]

12345678910>>...19