| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | LaTeX.cpp | 141 Inference& inf = cl->inference(); in refutationToString() local
167 Inference& inf = unit->inference(); in refutationToString() local
469 vstring LaTeX::toString (TermList* terms,bool single) const in toString()
560 vstring LaTeX::toStringAsInference(Unit* cs, InferenceStore::FullInference* inf) in toStringAsInference()
611 Inference& inf = unit->inference(); in toStringAsInference() local
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | single_inv_partition.cpp | 191 for (const Node& inf : d_input_funcs) in init() local
230 std::vector<Node> terms; in init() local
316 std::vector<Node> terms; in init() local
412 std::vector<Node>& terms, in processConjunct()
|
| H A D | term_util.cpp | 253 std::vector<Node>& terms) in substituteBoundVariables()
260 Node TermUtil::substituteInstConstants(Node n, Node q, std::vector<Node>& terms) in substituteInstConstants()
351 Node inf = getVtsInfinityIndex( r, isFree, create ); in getVtsTerms() local
421 Node inf = getVtsInfinityIndex( r, false, false ); in rewriteVtsSymbols() local
|
| /dports/net/zebra-server/idzebra-2.0.55/isamb/ |
| H A D | benchindex1.c | 42 struct index_term *terms; member
362 FILE *inf, in index_marc_line_records()
424 FILE *inf, in index_marc_from_file()
517 FILE *inf = stdin; in main() local
|
| /dports/math/maxima/maxima-5.43.2/src/ |
| H A D | mhayat.lisp | 82 (defmacro terms (p) `(cdddr ,p)) macro
363 (defmacro inf nil nil) macro
|
| /dports/math/spot/spot-2.10.2/spot/twaalgos/ |
| H A D | totgba.cc | 89 acc_cond::mark_t inf = {}; in split_dnf_clauses() local
553 acc_cond::mark_t inf; in streett_to_generalized_buchi() local
837 auto terms = cnf_terms(cnf); in to_generalized_buchi() local
893 acc_cond::mark_t inf = {}; in split_dnf_acc() local
|
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
| H A D | totgba.cc | 89 acc_cond::mark_t inf = {}; in split_dnf_clauses() local
553 acc_cond::mark_t inf; in streett_to_generalized_buchi() local
837 auto terms = cnf_terms(cnf); in to_generalized_buchi() local
893 acc_cond::mark_t inf = {}; in split_dnf_acc() local
|
| /dports/math/z3/z3-z3-4.8.13/src/opt/ |
| H A D | opt_context.cpp | 573 ptr_vector<expr> terms; in mk_cmp() local
910 bool context::is_maxsat(expr* fml, expr_ref_vector& terms, in is_maxsat()
1063 expr_ref_vector terms(m); in from_fmls() local
1224 void context::mk_atomic(expr_ref_vector& terms) { in mk_atomic()
1450 rational inf = n.get_infinity(); in to_exprs() local
1459 rational inf = n.get_infinity(); in to_expr() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/opt/ |
| H A D | opt_context.cpp | 563 ptr_vector<expr> terms; in mk_cmp() local
895 bool context::is_maxsat(expr* fml, expr_ref_vector& terms, in is_maxsat()
1048 expr_ref_vector terms(m); in from_fmls() local
1209 void context::mk_atomic(expr_ref_vector& terms) { in mk_atomic()
1435 rational inf = n.get_infinity(); in to_exprs() local
1444 rational inf = n.get_infinity(); in to_expr() local
|
| /dports/math/py-mpmath/mpmath-1.2.1/mpmath/ |
| H A D | ctx_fp.py | 45 inf = math2.INF variable in FPContext
244 def sum_accurately(ctx, terms, check_step=1): argument
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | theory_diff_logic_def.h | 419 bool theory_diff_logic<Ext>::decompose_linear(app_ref_vector& terms, bool_vector& signs) { in decompose_linear()
1160 rational inf = a.get_infinitesimal().to_rational(); in update_simplex() local
1194 rational inf = w.get_infinitesimal().to_rational(); in update_simplex() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | theory_diff_logic_def.h | 419 bool theory_diff_logic<Ext>::decompose_linear(app_ref_vector& terms, bool_vector& signs) { in decompose_linear()
1160 rational inf = a.get_infinitesimal().to_rational(); in update_simplex() local
1194 rational inf = w.get_infinitesimal().to_rational(); in update_simplex() local
|
| /dports/math/py-sympy/sympy-1.9/sympy/polys/ |
| H A D | polyclasses.py | 311 def terms(f, order=None): member in DMP
801 def intervals(f, all=False, eps=None, inf=None, sup=None, fast=False, sqf=False): argument
831 def count_real_roots(f, inf=None, sup=None): argument
835 def count_complex_roots(f, inf=None, sup=None): argument
|
| H A D | polytools.py | 896 def terms(f, order=None): member in Poly
3371 def intervals(f, all=False, eps=None, inf=None, sup=None, fast=False, sqf=False): argument
3484 def count_roots(f, inf=None, sup=None): argument
6394 def intervals(F, all=False, eps=None, inf=None, sup=None, strict=False, fast=False, sqf=False): argument
6479 def count_roots(f, inf=None, sup=None): argument
|
| /dports/math/casadi/casadi-3.5.5/casadi/core/ |
| H A D | matrix_impl.hpp | 1364 Matrix<Scalar> Matrix<Scalar>::inf(const Sparsity& sp) { in inf() function in casadi::Matrix
1372 Matrix<Scalar> Matrix<Scalar>::inf(const std::pair<casadi_int, casadi_int>& rc) { in inf() function in casadi::Matrix
1377 Matrix<Scalar> Matrix<Scalar>::inf(casadi_int nrow, casadi_int ncol) { in inf() function in casadi::Matrix
2358 Matrix<Scalar> &weights, Matrix<Scalar>& terms) { in expand()
|
| /dports/math/giacxcas/giac-1.6.0/src/ |
| H A D | desolve.cc | 2063 vecteur &terms=*g._SYMBptr->feuille._VECTptr; in ratsimp_nonexp() local
2095 gen r=_ratnormal(r_orig,contextptr),inf=symbolic(at_plus,_IDNT_infinity()); in kovacicsols() local
2453 vecteur terms=eq.is_symb_of_sommet(at_plus) && eq._SYMBptr->feuille.type==_VECT? in _kovacicsols() local
|
| /dports/math/z3/z3-z3-4.8.13/examples/tptp/ |
| H A D | tptp5.cpp | 494 TreeNode* inf = f->child(1); in fof_formula() local
754 z3::expr_vector terms(m_context); in apply_term() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/examples/tptp/ |
| H A D | tptp5.cpp | 494 TreeNode* inf = f->child(1); in fof_formula() local
754 z3::expr_vector terms(m_context); in apply_term() local
|
| /dports/textproc/R-cran-R2HTML/R2HTML/R/ |
| H A D | HTMLcore.R | 261 …HTML(data.frame(round(x$infmat,digits), inf = ifelse(is.star, "*", " ")),file=file, append=TRUE,..… nameattr
1390 terms <- names(x) functionVar
|