| /dports/devel/p5-Tickit/Tickit-0.72/lib/Tickit/ |
| H A D | Test.pm | 120 sub mk_term subroutine
141 mk_term;
179 my $term = mk_term( @_ );
|
| /dports/devel/p5-Tickit/Tickit-0.72/t/ |
| H A D | 12renderbuffer-char.t | 13 my $term = mk_term;
|
| H A D | 08mockterm.t | 11 my $term = mk_term lines => 3, cols => 10;
|
| H A D | 09test.t | 9 my $term = mk_term lines => 3, cols => 10;
|
| H A D | 14renderbuffer-stack.t | 14 my $term = mk_term;
|
| H A D | 13renderbuffer-clip.t | 14 my $term = mk_term;
|
| H A D | 15renderbuffer-mask.t | 15 my $term = mk_term;
|
| H A D | 11renderbuffer-line.t | 14 my $term = mk_term;
|
| H A D | 10renderbuffer-span.t | 14 my $term = mk_term;
|
| /dports/math/z3/z3-z3-4.8.13/src/qe/mbp/ |
| H A D | mbp_term_graph.h | 64 term *mk_term(expr *t);
|
| H A D | mbp_solve_plugin.cpp | 48 … expr_ref mk_term(bool is_int, rational const& r, bool sign, svector<signed_expr> const& exprs) { in mk_term() function in mbp::arith_solve_plugin
102 t = mk_term(is_int, a_val, sign, done); in solve()
|
| H A D | mbp_term_graph.cpp | 307 term *term_graph::mk_term(expr *a) { in mk_term() function in mbp::term_graph
340 res = mk_term(t); in internalize_term()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/mbp/ |
| H A D | mbp_term_graph.h | 64 term *mk_term(expr *t);
|
| H A D | mbp_solve_plugin.cpp | 48 … expr_ref mk_term(bool is_int, rational const& r, bool sign, svector<signed_expr> const& exprs) { in mk_term() function in mbp::arith_solve_plugin
102 t = mk_term(is_int, a_val, sign, done); in solve()
|
| H A D | mbp_term_graph.cpp | 307 term *term_graph::mk_term(expr *a) { in mk_term() function in mbp::term_graph
340 res = mk_term(t); in internalize_term()
|
| /dports/math/yices/yices-2.6.2/src/terms/ |
| H A D | bit_term_conversion.c | 89 set_map_of_node(nodes, node_of_bit(x), mk_term(i, bit_is_pos(x))); in convert_term_to_bit()
|
| H A D | terms.h | 961 static inline term_t mk_term(int32_t i, bool tt) { in mk_term() function
1032 return mk_term(bool_const, tt); in bool2term()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
| H A D | qe_arith.cpp | 294 static void mk_term(vector<var_t> const& vars, rational const& coeff, app_ref& term) { in mk_term() function
365 mk_term(vars, rational(coeff), t1); in add_random_ineq()
423 mk_term(vars, rational(0), t); in check_random_ineqs()
|
| /dports/math/z3/z3-z3-4.8.13/src/test/ |
| H A D | qe_arith.cpp | 294 static void mk_term(vector<var_t> const& vars, rational const& coeff, app_ref& term) { in mk_term() function
365 mk_term(vars, rational(coeff), t1); in add_random_ineq()
423 mk_term(vars, rational(0), t); in check_random_ineqs()
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | theory_diff_logic.h | 337 theory_var mk_term(app* n);
|
| H A D | theory_utvpi.h | 316 th_var mk_term(app* n);
|
| H A D | theory_utvpi_def.h | 361 bool result = !ctx.inconsistent() && null_theory_var != mk_term(term); in internalize_term()
523 theory_var theory_utvpi<Ext>::mk_term(app* n) { in mk_term() function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | theory_utvpi.h | 317 th_var mk_term(app* n);
|
| H A D | theory_diff_logic.h | 338 theory_var mk_term(app* n);
|
| H A D | theory_utvpi_def.h | 361 bool result = !ctx.inconsistent() && null_theory_var != mk_term(term);
523 theory_var theory_utvpi<Ext>::mk_term(app* n) {
|