/dports/devel/creduce/creduce-2.10.0/clang_delta/ |
H A D | RenameVar.cpp | 178 collectVars(); in HandleTranslationUnit() 230 void RenameVar::collectVars(void) in collectVars() function in RenameVar
|
H A D | RenameVar.h | 60 void collectVars(void);
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
H A D | enum_stream_substitution.cpp | 75 collectVars(value, vars, visited); in reset() 232 void EnumStreamPermutation::collectVars( in collectVars() function in CVC4::theory::quantifiers::EnumStreamPermutation 246 collectVars(ni, vars, visited); in collectVars()
|
H A D | enum_stream_substitution.h | 87 void collectVars(Node n,
|
/dports/math/cvc4/CVC4-1.7/src/theory/ |
H A D | ext_theory.h | 187 static std::vector<Node> collectVars(Node n);
|
H A D | ext_theory.cpp | 44 std::vector<Node> ExtTheory::collectVars(Node n) in collectVars() function in CVC4::theory::ExtTheory 410 d_extf_info[n].d_vars = collectVars(n); in registerTerm()
|
/dports/lang/elm/compiler-0.19.1/compiler/src/Canonicalize/Environment/ |
H A D | Local.hs | 50 do topLevelVars <- collectVars module_ 56 collectVars :: Src.Module -> Result i w (Map.Map Name.Name Env.Var) 57 collectVars (Src.Module _ _ _ _ values _ _ _ effects) = function
|
/dports/math/vampire/vampire-4.5.1/Kernel/ |
H A D | Clause.cpp | 642 void Clause::collectVars(DHSet<unsigned>& acc) in collectVars() function in Kernel::Clause 664 collectVars(vars); in varCnt()
|
H A D | Clause.hpp | 346 void collectVars(DHSet<unsigned>& acc);
|
/dports/math/cvc3/cvc3-2.4.1/src/include/ |
H A D | theory_arith3.h | 274 void collectVars(const Expr& e, std::vector<Expr>& vars,
|
H A D | theory_arith_new.h | 217 void collectVars(const Expr& e, std::vector<Expr>& vars,
|
H A D | theory_arith_old.h | 301 void collectVars(const Expr& e, std::vector<Expr>& vars,
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/d/dmd/ |
H A D | ob.d | 71 collectVars(funcdecl, obstate.vars); in oblive() 1153 void collectVars(FuncDeclaration funcdecl, out VarDeclarations vars) in collectVars() function
|
/dports/lang/nx/nsf2.3.0/library/serialize/ |
H A D | serializer.tcl | 653 :method collectVars {{-serializeSlot:boolean false} o s} {
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/ |
H A D | theory_arith3.cpp | 1904 void TheoryArith3::collectVars(const Expr& e, vector<Expr>& vars, in collectVars() function in TheoryArith3 1913 collectVars(*i, vars, cache); in collectVars()
|
H A D | theory_arith_new.cpp | 1155 void TheoryArithNew::collectVars(const Expr& e, vector<Expr>& vars, in collectVars() function in TheoryArithNew 1164 collectVars(*i, vars, cache); in collectVars()
|
H A D | theory_arith_old.cpp | 2359 void TheoryArithOld::collectVars(const Expr& e, vector<Expr>& vars, in collectVars() function in TheoryArithOld 2368 collectVars(*i, vars, cache); in collectVars()
|
/dports/math/SCIP/scip-7.0.3/applications/Scheduler/src/ |
H A D | cons_optcumulative.c | 791 SCIP_RETCODE collectVars( in collectVars() function 1056 SCIP_CALL( collectVars(scip, consdata, vars, weights, &nvars, starttime, endtime) ); in addRelaxation()
|