/dports/textproc/zorba/zorba-2.7.0/src/compiler/expression/ |
H A D | flwor_expr.cpp | 924 csize numClauses = num_clauses(); in set_where() local 960 csize numClauses = num_clauses(); in remove_where_clause() local 978 csize numClauses = num_clauses(); in get_where() local 994 csize numClauses = num_clauses(); in get_group_clause() local 1010 csize numClauses = num_clauses(); in get_order_clause() local 1027 csize numClauses = num_clauses(); in num_forlet_clauses() local 1053 csize numClauses = theClauses.size(); in defines_variable() local 1071 csize numClauses = theClauses.size(); in get_vars_defined() local 1122 ulong numClauses = num_clauses(); in compute_scripting_kind() local 1175 ulong numClauses = num_clauses(); in cloneImpl() local
|
H A D | expr_type.cpp | 129 ulong numClauses = e->num_clauses(); in compute_return_type() local
|
H A D | expr_put.cpp | 454 csize numClauses = theCatchClauses.size(); in put() local
|
H A D | expr_base.cpp | 907 csize numClauses = flworExpr->num_clauses(); in is_map_internal() local
|
/dports/textproc/zorba/zorba-2.7.0/src/compiler/rewriter/rules/ |
H A D | flwor_rules.cpp | 196 csize numClauses = flwor.num_clauses(); in RULE_REWRITE_PRE() local 755 csize numClauses = flwor.num_clauses(); in safe_to_fold_single_use() local 1015 csize numClauses = tce->clause_count(); in var_in_try_or_loop() local 1398 csize numClauses = flwor->num_clauses(); in RULE_REWRITE_PRE() local 1832 csize numClauses = flwor->num_clauses(); in RULE_REWRITE_PRE() local 1847 csize numClauses = returnFlwor->num_clauses(); in RULE_REWRITE_PRE() local
|
H A D | hoist_rules.cpp | 380 csize numClauses = trycatch->clause_count(); in try_hoisting() local
|
H A D | type_rules.cpp | 452 csize numClauses = flworExpr->num_clauses(); in RULE_REWRITE_POST() local
|
H A D | index_join_rule.cpp | 521 csize numClauses = innerFlwor->num_clauses(); in rewriteJoin() local
|
/dports/textproc/luceneplusplus/LucenePlusPlus-rel_3.0.8/src/test/search/ |
H A D | ScorerPerfTest.cpp | 156 int32_t numClauses = r->nextInt(maxClauses - 1) + 2; // min 2 clauses in doConjunctions() local 177 int32_t numClauses = r->nextInt(maxClauses - 1) + 2; // min 2 clauses in doNestedConjunctions() local
|
/dports/math/cvc3/cvc3-2.4.1/src/include/ |
H A D | cnf.h | 161 unsigned numClauses() const { return d_formula.size(); } in numClauses() function 186 unsigned numClauses() const { return d_formula.size(); } in numClauses() function
|
/dports/textproc/clucene/clucene-core-2.3.3.4/src/contribs-lib/CLucene/highlighter/ |
H A D | QueryTermExtractor.cpp | 110 uint32_t numClauses = query->getClauseCount(); in getTermsFromBooleanQuery() local
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/jasat/utils/ |
H A D | CnfParser.java | 49 public int numClauses = 0; field in CnfParser
|
/dports/textproc/zorba/zorba-2.7.0/src/compiler/rewriter/tools/ |
H A D | expr_tools.cpp | 302 csize numClauses = trycatch->clause_count(); in index_flwor_vars() local 494 csize numClauses = trycatch->clause_count(); in build_expr_to_vars_map() local
|
/dports/math/ogdf/OGDF/src/ogdf/external/ |
H A D | Minisat.cpp | 195 int numClauses = -1; in readDimacs() local
|
/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
H A D | satzilla_features.h | 42 double numClauses = 0; member
|
/dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
H A D | satzilla_features.h | 42 double numClauses = 0; member
|
/dports/math/cvc4/CVC4-1.7/src/theory/bv/bitblast/ |
H A D | aig_bitblaster.cpp | 402 unsigned numClauses = pCnf->nClauses; in assertToSatSolver() local
|
/dports/textproc/zorba/zorba-2.7.0/src/compiler/codegen/ |
H A D | plan_visitor.cpp | 881 csize numClauses = v.num_clauses(); in begin_visit() local 1701 csize numClauses = flworExpr.num_clauses(); in flwor_codegen() local
|
/dports/math/clasp/clasp-3.3.5/clasp/ |
H A D | shared_context.h | 165 uint32 numClauses() const { return (uint32)clauses_.size(); } in numClauses() function
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
H A D | shared_context.h | 165 uint32 numClauses() const { return (uint32)clauses_.size(); } in numClauses() function
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
H A D | shared_context.h | 165 uint32 numClauses() const { return (uint32)clauses_.size(); } in numClauses() function
|
/dports/textproc/zorba/zorba-2.7.0/src/compiler/translator/ |
H A D | translator.cpp | 6139 csize numClauses = theFlworClausesStack.size(); in end_visit() local
|