| /dports/math/4ti2/4ti2-Release_1_6_9/src/zsolve/ |
| H A D | Variables.hpp | 44 VariableProperty (const int column, const bool free, const T& lower, const T& upper) in VariableProperty()
75 void set (const int column, const bool free, const T& lower, const T& upper) in set()
84 void set (const bool free, const T& lower = 1, const T& upper = -1) in set()
145 bool free () const in free() function in _4ti2_zsolve_::VariableProperty
253 VariableProperties (size_t variables, bool free, const T& lower, const T& upper) in VariableProperties()
283 size_t variables () const in variables() function in _4ti2_zsolve_::VariableProperties
|
| H A D | LinearSystem.hpp | 48 …LinearSystem (const VectorArray <T>& matrix, T* rhs, bool free, const T& lower, const T& upper) : … in LinearSystem()
76 size_t variables () const in variables() function in _4ti2_zsolve_::LinearSystem
|
| H A D | Lattice.hpp | 40 …Lattice (VectorArray <T> * vectors, bool free, const T& lower, const T& upper) : VectorArray <T> (… in Lattice()
69 size_t variables () in variables() function in _4ti2_zsolve_::Lattice
|
| H A D | DefaultController.hpp | 180 void log_result (size_t inhoms, size_t homs, size_t free) in log_result()
245 void log_resume (size_t variables, size_t variable, const T& sum, const T& norm, size_t vectors) in log_resume()
|
| /dports/math/barvinok/barvinok-0.41.5/zsolve/ |
| H A D | linearsystem.c | 73 void setLinearSystemSize(LinearSystem system, int variables, int equations) in setLinearSystemSize()
180 void setLinearSystemLimit(LinearSystem system, int id, int lower, int upper, bool free) in setLinearSystemLimit()
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | ConstraintReaderBack.cpp | 411 std::vector<Variable*> variables(lcons->vars); in constraints() local
485 CoeffNumber free = CoeffNumber(vitr->second->lb.toDouble()); in constraints() local
495 CoeffNumber free = CoeffNumber(vitr->second->ub.toDouble()); in constraints() local
|
| H A D | NewCNF.cpp | 149 Stack<unsigned> variables; in process() local
263 TermList NewCNF::findITEs(TermList ts, Stack<unsigned> &variables, Stack<Formula*> &conditions, in findITEs()
582 Formula::VarList* variables; in eliminateLet() local
789 Formula::VarList* variables = Formula::VarList::append(bindingFreeVars,bindingVariables); in nameLetBinding() local
878 Term* NewCNF::createSkolemTerm(unsigned var, VarSet* free) in createSkolemTerm()
1111 Literal* NewCNF::createNamingLiteral(Formula* f, List<unsigned>* free) in createNamingLiteral()
1242 Stack<unsigned> variables; in toClauses() local
|
| /dports/net-mgmt/librenms/librenms-vendor-21.5.1/doctrine/dbal/lib/Doctrine/DBAL/Driver/SQLSrv/ |
| H A D | SQLSrvStatement.php | 77 private $variables = []; variable in Doctrine\\DBAL\\Driver\\SQLSrv\\SQLSrvStatement
507 public function free(): void function in Doctrine\\DBAL\\Driver\\SQLSrv\\SQLSrvStatement
|
| /dports/www/owncloud/owncloud/lib/composer/doctrine/dbal/lib/Doctrine/DBAL/Driver/SQLSrv/ |
| H A D | SQLSrvStatement.php | 77 private $variables = []; variable in Doctrine\\DBAL\\Driver\\SQLSrv\\SQLSrvStatement
507 public function free(): void function in Doctrine\\DBAL\\Driver\\SQLSrv\\SQLSrvStatement
|
| /dports/audio/py-fmoo-audiotools/audiotools-3.0/docs/reference/pseudocode-src/ |
| H A D | types.h | 41 struct variablelist *variables; member
45 void (*free)(struct code_io *self); member
68 struct vardef *variables; member
85 void (*free)(struct variable *self); member
95 void (*free)(struct variablelist *self); member
232 void (*free)(struct expression *self); member
243 void (*free)(struct expressionlist *self); member
381 void (*free)(struct statement *self); member
390 void (*free)(struct statlist *self); member
405 void (*free)(struct elselist *self); member
[all …]
|
| /dports/www/webtrees20/webtrees-2.0.19/webtrees/vendor/doctrine/dbal/lib/Doctrine/DBAL/Driver/SQLSrv/ |
| H A D | SQLSrvStatement.php | 78 private $variables = []; variable in Doctrine\\DBAL\\Driver\\SQLSrv\\SQLSrvStatement
509 public function free(): void function in Doctrine\\DBAL\\Driver\\SQLSrv\\SQLSrvStatement
|
| /dports/www/typo3-11/typo3_src-11.5.7/vendor/doctrine/dbal/lib/Doctrine/DBAL/Driver/SQLSrv/ |
| H A D | SQLSrvStatement.php | 78 private $variables = []; variable in Doctrine\\DBAL\\Driver\\SQLSrv\\SQLSrvStatement
509 public function free(): void function in Doctrine\\DBAL\\Driver\\SQLSrv\\SQLSrvStatement
|
| /dports/security/modsecurity3-nginx/nginx-1.20.0/src/http/modules/ |
| H A D | ngx_http_ssi_filter_module.h | 56 ngx_chain_t *free; member
65 ngx_list_t *variables; member
|
| /dports/www/nginx-full/nginx-1.20.2/src/http/modules/ |
| H A D | ngx_http_ssi_filter_module.h | 56 ngx_chain_t *free; member
65 ngx_list_t *variables; member
|
| /dports/www/nginx/nginx-1.20.2/src/http/modules/ |
| H A D | ngx_http_ssi_filter_module.h | 56 ngx_chain_t *free; member
65 ngx_list_t *variables; member
|
| /dports/www/nginx-lite/nginx-1.20.2/src/http/modules/ |
| H A D | ngx_http_ssi_filter_module.h | 56 ngx_chain_t *free; member
65 ngx_list_t *variables; member
|
| /dports/www/nginx-naxsi/nginx-1.20.2/src/http/modules/ |
| H A D | ngx_http_ssi_filter_module.h | 56 ngx_chain_t *free; member
65 ngx_list_t *variables; member
|
| /dports/www/nginx-devel/nginx-1.21.5/src/http/modules/ |
| H A D | ngx_http_ssi_filter_module.h | 56 ngx_chain_t *free; member
65 ngx_list_t *variables; member
|
| /dports/www/nginx-full/ngx_postgres-8aa7359/src/ |
| H A D | ngx_postgres_module.h | 147 ngx_queue_t free; member
166 ngx_array_t *variables; member
175 ngx_array_t *variables; member
|
| /dports/textproc/cpp-peglib/cpp-peglib-1.3.7/pl0/ |
| H A D | pl0.cc | 129 set<string> variables; member
194 static void variables(const shared_ptr<AstPL0> ast, in variables() function
249 for (const auto& free : block->scope->free_variables) { in call() local
305 map<string, int> variables; member
735 for (auto& free : block->scope->free_variables) { in compile_call() local
|
| /dports/audio/py-music21/music21-7.1.0/.mypy_cache/3.7/ |
| H A D | shutil.data.json | 1 …": true, "names": {".class": "SymbolTable", "Any": {".class": "SymbolTableNode", "cross_ref": "typ…
|
| /dports/www/webpy/web.py-0.62/tests/.mypy_cache/3.8/ |
| H A D | shutil.data.json | 1 …": {".class": "SymbolTable", "Any": {".class": "SymbolTableNode", "cross_ref": "typing.Any", "kind…
|
| /dports/textproc/py-nltk/nltk-3.4.1/nltk/sem/ |
| H A D | logic.py | 944 def variables(self): member in SubstituteBindingsI
1170 def variables(self): member in Expression
1181 def free(self): member in Expression
1520 def free(self): member in IndividualVariableExpression
1535 def free(self): member in FunctionVariableExpression
1581 def free(self): member in ConstantExpression
1660 def free(self): member in VariableBinderExpression
|
| H A D | drt.py | 197 def make_LambdaExpression(self, variables, term): argument
380 def free(self): member in DRS
985 def free(self): member in PossibleAntecedents
|
| /dports/net/freeradius3/freeradius-server-3.0.25/src/main/ |
| H A D | conffile.c | 97 void (*free)(void *); //!< Free user data function member
119 CONF_PARSER const *variables; member
1803 CONF_PARSER const *variables) in cf_section_parse_init()
1893 int cf_section_parse(CONF_SECTION *cs, void *base, CONF_PARSER const *variables) in cf_section_parse()
1997 int cf_section_parse_pass2(CONF_SECTION *cs, void *base, CONF_PARSER const *variables) in cf_section_parse_pass2()
|