/dports/math/vtk9/VTK-9.1.0/ThirdParty/vtkm/vtkvtkm/vtk-m/vtkm/filter/testing/ |
H A D | UnitTestVectorMagnitudeFilter.cxx | 28 vtkm::Float64 fvars[nVerts] = { 10.1, 20.1, 30.1, 40.1, 50.2, 60.2, 70.2, 80.2, 90.3, in TestVectorMagnitude() local
|
/dports/math/vtk8/VTK-8.2.0/ThirdParty/vtkm/vtk-m/vtkm/filter/testing/ |
H A D | UnitTestVectorMagnitudeFilter.cxx | 38 vtkm::Float64 fvars[nVerts] = { 10.1, 20.1, 30.1, 40.1, 50.2, 60.2, 70.2, 80.2, 90.3, in TestVectorMagnitude() local
|
/dports/math/yices/yices-2.6.2/src/api/ |
H A D | yices_globals.h | 54 fvar_collector_t *fvars; // to collect free variables of terms member
|
/dports/net-im/telegram-purple/telegram-purple-1.4.3/tgl/ |
H A D | auto-static-autocomplete.c | 26 static struct paramed_type *fvars[MAX_FVARS]; variable
|
H A D | auto-static.c | 285 static struct paramed_type *fvars[MAX_FVARS]; variable
|
/dports/net-im/telegram-cli/tg-20200106/tgl/ |
H A D | auto-static-autocomplete.c | 26 static struct paramed_type *fvars[MAX_FVARS]; variable
|
H A D | auto-static.c | 285 static struct paramed_type *fvars[MAX_FVARS]; variable
|
/dports/www/webpy/web.py-0.62/web/ |
H A D | application.py | 52 def __init__(self, mapping=(), fvars={}, autoreload=None): argument 71 def modname(fvars): argument 487 def _delegate(self, f, fvars, args=[]): argument
|
/dports/math/yices/yices-2.6.2/src/solvers/simplex/ |
H A D | matrices.c | 2326 elim_matrix_t *elim, fvar_vector_t *fvars) { in gauss_elim_simple_row() 2497 elim_matrix_t *elim, fvar_vector_t *fvars) { in gaussian_elimination() 2578 elim_matrix_t *elim, fvar_vector_t *fvars) { in simplify_matrix() 2621 row_t *row0, uint32_t r0, fvar_vector_t *fvars) { in tableau_remove_singleton_row() 2666 … row_t *row0, uint32_t r0, int32_t x, row_elem_t *e, fvar_vector_t *fvars) { in tableau_remove_simple_row() 2688 …void tableau_process_simple_row(matrix_t *matrix, row_t *row0, uint32_t r0, fvar_vector_t *fvars) { in tableau_process_simple_row() 2793 void simple_tableau_construction(matrix_t *matrix, fvar_vector_t *fvars) { in simple_tableau_construction() 2838 … row_t *row0, uint32_t r0, uint32_t k, fvar_vector_t *fvars) { in markowitz_tableau_process_simple_row() 2876 …u_revisit_simple_row(matrix_t *matrix, row_t *row0, uint32_t r0, int32_t x, fvar_vector_t *fvars) { in markowitz_tableau_revisit_simple_row() 2918 void markowitz_tableau_construction(matrix_t *matrix, fvar_vector_t *fvars) { in markowitz_tableau_construction()
|
H A D | simplex_printer.c | 261 void print_fixed_var_vector(FILE *f, arith_vartable_t *vtbl, fvar_vector_t *fvars) { in print_fixed_var_vector()
|
/dports/games/scummvm/scummvm-2.5.1/engines/icb/ |
H A D | mission.h | 63 int32 fvars[MAX_fvars]; variable
|
/dports/lang/nickle/nickle-2.90/ |
H A D | builtin.c | 45 static const struct filebuiltin fvars[] = { variable
|
/dports/math/z3/z3-z3-4.8.13/src/qe/ |
H A D | nlqsat.cpp | 343 uint_set fvars; in mbp() local 348 void extract_vars(unsigned level, nlsat::var_vector& vars, uint_set& fvars) { in extract_vars() 369 void mbp(nlsat::var_vector const& vars, uint_set const& fvars, clause& result) { in mbp()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/ |
H A D | nlqsat.cpp | 343 uint_set fvars; in mbp() local 348 void extract_vars(unsigned level, nlsat::var_vector& vars, uint_set& fvars) { in extract_vars() 369 void mbp(nlsat::var_vector const& vars, uint_set const& fvars, clause& result) { in mbp()
|
/dports/math/vampire/vampire-4.5.1/Shell/ |
H A D | Naming.cpp | 1113 Formula::VarList* fvars = f->freeVariables(); in canBeInDefinition() local
|
/dports/textproc/uim-gtk/sigscheme-beb8fbd/src/ |
H A D | macro.c | 835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
|
/dports/textproc/uim-gtk3/sigscheme-beb8fbd/src/ |
H A D | macro.c | 835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
|
/dports/textproc/uim-qt5/sigscheme-beb8fbd/src/ |
H A D | macro.c | 835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
|
/dports/textproc/uim-m17nlib/sigscheme-beb8fbd/src/ |
H A D | macro.c | 835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
|
/dports/textproc/uim-m17nlib/uim-d1ac9d9/sigscheme/src/ |
H A D | macro.c | 835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
|
/dports/textproc/uim-qt5/uim-d1ac9d9/sigscheme/src/ |
H A D | macro.c | 835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
|
/dports/textproc/uim-gtk3/uim-d1ac9d9/sigscheme/src/ |
H A D | macro.c | 835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
|
/dports/textproc/uim-gtk/uim-d1ac9d9/sigscheme/src/ |
H A D | macro.c | 835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
|
/dports/japanese/uim-anthy/sigscheme-beb8fbd/src/ |
H A D | macro.c | 835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
|
/dports/japanese/uim-anthy/uim-d1ac9d9/sigscheme/src/ |
H A D | macro.c | 835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
|