Home
last modified time | relevance | path

Searched defs:fvars (Results 1 – 25 of 35) sorted by relevance

12

/dports/math/vtk9/VTK-9.1.0/ThirdParty/vtkm/vtkvtkm/vtk-m/vtkm/filter/testing/
H A DUnitTestVectorMagnitudeFilter.cxx28 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 DUnitTestVectorMagnitudeFilter.cxx38 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 Dyices_globals.h54 fvar_collector_t *fvars; // to collect free variables of terms member
/dports/net-im/telegram-purple/telegram-purple-1.4.3/tgl/
H A Dauto-static-autocomplete.c26 static struct paramed_type *fvars[MAX_FVARS]; variable
H A Dauto-static.c285 static struct paramed_type *fvars[MAX_FVARS]; variable
/dports/net-im/telegram-cli/tg-20200106/tgl/
H A Dauto-static-autocomplete.c26 static struct paramed_type *fvars[MAX_FVARS]; variable
H A Dauto-static.c285 static struct paramed_type *fvars[MAX_FVARS]; variable
/dports/www/webpy/web.py-0.62/web/
H A Dapplication.py52 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 Dmatrices.c2326 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 Dsimplex_printer.c261 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 Dmission.h63 int32 fvars[MAX_fvars]; variable
/dports/lang/nickle/nickle-2.90/
H A Dbuiltin.c45 static const struct filebuiltin fvars[] = { variable
/dports/math/z3/z3-z3-4.8.13/src/qe/
H A Dnlqsat.cpp343 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 Dnlqsat.cpp343 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 DNaming.cpp1113 Formula::VarList* fvars = f->freeVariables(); in canBeInDefinition() local
/dports/textproc/uim-gtk/sigscheme-beb8fbd/src/
H A Dmacro.c835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
/dports/textproc/uim-gtk3/sigscheme-beb8fbd/src/
H A Dmacro.c835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
/dports/textproc/uim-qt5/sigscheme-beb8fbd/src/
H A Dmacro.c835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
/dports/textproc/uim-m17nlib/sigscheme-beb8fbd/src/
H A Dmacro.c835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
/dports/textproc/uim-m17nlib/uim-d1ac9d9/sigscheme/src/
H A Dmacro.c835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
/dports/textproc/uim-qt5/uim-d1ac9d9/sigscheme/src/
H A Dmacro.c835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
/dports/textproc/uim-gtk3/uim-d1ac9d9/sigscheme/src/
H A Dmacro.c835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
/dports/textproc/uim-gtk/uim-d1ac9d9/sigscheme/src/
H A Dmacro.c835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
/dports/japanese/uim-anthy/sigscheme-beb8fbd/src/
H A Dmacro.c835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member
/dports/japanese/uim-anthy/uim-d1ac9d9/sigscheme/src/
H A Dmacro.c835 ScmObj fvars; /* Alist; free variables -> wrapped ident. */ member

12