| /dports/math/cvc4/CVC4-1.7/src/preprocessing/ |
| H A D | assertion_pipeline.cpp | 58 PROOF(ProofManager::currentPM()->addDependence(n, d_nodes[i]);); in replace()
66 PROOF(ProofManager::currentPM()->addDependence(n, d_nodes[i]); in replace()
69 ProofManager::currentPM()->addDependence(n, addnDep); in replace()
78 : ns) { ProofManager::currentPM()->addDependence(n, d_nodes[i]); }); in replace()
|
| /dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/ |
| H A D | non_clausal_simp.cpp | 106 PROOF(ProofManager::currentPM()->addDependence(n, Node::null())); in applyInternal()
168 PROOF(ProofManager::currentPM()->addDependence(n, Node::null())); in applyInternal()
211 PROOF(ProofManager::currentPM()->addDependence(n, Node::null())); in applyInternal()
|
| H A D | miplib_trick.cpp | 527 PROOF(ProofManager::currentPM()->addDependence(n, Node::null())); in applyInternal()
596 PROOF(ProofManager::currentPM()->addDependence(newAssertion, in applyInternal()
|
| /dports/math/cvc4/CVC4-1.7/src/smt/ |
| H A D | term_formula_removal.cpp | 47 PROOF( ProofManager::currentPM()->addDependence(itesRemoved, output[i]); ) in run()
49 PROOF( ProofManager::currentPM()->addDependence(output[n], output[i]); ) in run()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | fun_def_process.cpp | 87 PROOF( ProofManager::currentPM()->addDependence(new_q, assertions[i]); ); in simplify()
121 PROOF(ProofManager::currentPM()->addDependence(n, assertions[i]);); in simplify()
|
| /dports/devel/umbrello/umbrello-21.12.3/lib/cppparser/ |
| H A D | driver.h | 261 virtual void addDependence(const QString& fileName, const Dependence& dep);
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/AST/ |
| H A D | Type.cpp | 746 addDependence(typeArg->getDependence() & ~TypeDependence::VariablyModified); in ObjCObjectType()
2891 addDependence(toTypeDependence(Arg.getDependence() & in DependentTemplateSpecializationType()
3181 addDependence(params[i]->getDependence() & in FunctionProtoType()
3196 addDependence( in FunctionProtoType()
3212 addDependence( in FunctionProtoType()
3238 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3242 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3669 addDependence(toTypeDependence(Arg.getDependence()) & in TemplateSpecializationType()
3672 addDependence(Arg.getAsType()->getDependence() & in TemplateSpecializationType()
4407 addDependence( in AutoType()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/AST/ |
| H A D | Type.cpp | 746 addDependence(typeArg->getDependence() & ~TypeDependence::VariablyModified); in ObjCObjectType()
2884 addDependence(toTypeDependence(Arg.getDependence() & in DependentTemplateSpecializationType()
3167 addDependence(params[i]->getDependence() & in FunctionProtoType()
3182 addDependence( in FunctionProtoType()
3198 addDependence( in FunctionProtoType()
3224 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3228 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3654 addDependence(toTypeDependence(Arg.getDependence()) & in TemplateSpecializationType()
3657 addDependence(Arg.getAsType()->getDependence() & in TemplateSpecializationType()
4390 addDependence(toTypeDependence( in AutoType()
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/AST/ |
| H A D | Type.cpp | 748 addDependence(typeArg->getDependence() & ~TypeDependence::VariablyModified); in ObjCObjectType()
2836 addDependence(toTypeDependence(Arg.getDependence() & in DependentTemplateSpecializationType()
3115 addDependence(params[i]->getDependence() & in FunctionProtoType()
3130 addDependence( in FunctionProtoType()
3146 addDependence( in FunctionProtoType()
3172 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3176 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3594 addDependence(toTypeDependence(Arg.getDependence()) & in TemplateSpecializationType()
3597 addDependence(Arg.getAsType()->getDependence() & in TemplateSpecializationType()
4325 addDependence(toTypeDependence( in AutoType()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/AST/ |
| H A D | Type.cpp | 846 addDependence(typeArg->getDependence() & ~TypeDependence::VariablyModified); in ObjCObjectType()
2941 addDependence(toTypeDependence(Arg.getDependence() & in DependentTemplateSpecializationType()
3227 addDependence(params[i]->getDependence() & in FunctionProtoType()
3242 addDependence( in FunctionProtoType()
3258 addDependence( in FunctionProtoType()
3284 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3288 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3711 addDependence(toTypeDependence(Arg.getDependence()) & in TemplateSpecializationType()
3714 addDependence(Arg.getAsType()->getDependence() & in TemplateSpecializationType()
4443 addDependence(toTypeDependence( in AutoType()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/AST/ |
| H A D | Type.cpp | 746 addDependence(typeArg->getDependence() & ~TypeDependence::VariablyModified); in ObjCObjectType()
2891 addDependence(toTypeDependence(Arg.getDependence() & in DependentTemplateSpecializationType()
3179 addDependence(params[i]->getDependence() & in FunctionProtoType()
3194 addDependence( in FunctionProtoType()
3210 addDependence( in FunctionProtoType()
3236 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3240 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3667 addDependence(toTypeDependence(Arg.getDependence()) & in TemplateSpecializationType()
3670 addDependence(Arg.getAsType()->getDependence() & in TemplateSpecializationType()
4405 addDependence( in AutoType()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/AST/ |
| H A D | Type.cpp | 746 addDependence(typeArg->getDependence() & ~TypeDependence::VariablyModified); in ObjCObjectType()
2891 addDependence(toTypeDependence(Arg.getDependence() & in DependentTemplateSpecializationType()
3179 addDependence(params[i]->getDependence() & in FunctionProtoType()
3194 addDependence( in FunctionProtoType()
3210 addDependence( in FunctionProtoType()
3236 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3240 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3667 addDependence(toTypeDependence(Arg.getDependence()) & in TemplateSpecializationType()
3670 addDependence(Arg.getAsType()->getDependence() & in TemplateSpecializationType()
4405 addDependence( in AutoType()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/AST/ |
| H A D | Type.cpp | 746 addDependence(typeArg->getDependence() & ~TypeDependence::VariablyModified); in ObjCObjectType()
2884 addDependence(toTypeDependence(Arg.getDependence() & in DependentTemplateSpecializationType()
3167 addDependence(params[i]->getDependence() & in FunctionProtoType()
3182 addDependence( in FunctionProtoType()
3198 addDependence( in FunctionProtoType()
3224 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3228 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3652 addDependence(toTypeDependence(Arg.getDependence()) & in TemplateSpecializationType()
3655 addDependence(Arg.getAsType()->getDependence() & in TemplateSpecializationType()
4386 addDependence(toTypeDependence( in AutoType()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/AST/ |
| H A D | Type.cpp | 746 addDependence(typeArg->getDependence() & ~TypeDependence::VariablyModified); in ObjCObjectType()
2891 addDependence(toTypeDependence(Arg.getDependence() & in DependentTemplateSpecializationType()
3179 addDependence(params[i]->getDependence() & in FunctionProtoType()
3194 addDependence( in FunctionProtoType()
3210 addDependence( in FunctionProtoType()
3236 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3240 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3667 addDependence(toTypeDependence(Arg.getDependence()) & in TemplateSpecializationType()
3670 addDependence(Arg.getAsType()->getDependence() & in TemplateSpecializationType()
4405 addDependence( in AutoType()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/AST/ |
| H A D | Type.cpp | 746 addDependence(typeArg->getDependence() & ~TypeDependence::VariablyModified); in ObjCObjectType()
2884 addDependence(toTypeDependence(Arg.getDependence() & in DependentTemplateSpecializationType()
3167 addDependence(params[i]->getDependence() & in FunctionProtoType()
3182 addDependence( in FunctionProtoType()
3198 addDependence( in FunctionProtoType()
3224 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3228 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3654 addDependence(toTypeDependence(Arg.getDependence()) & in TemplateSpecializationType()
3657 addDependence(Arg.getAsType()->getDependence() & in TemplateSpecializationType()
4390 addDependence(toTypeDependence( in AutoType()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/AST/ |
| H A D | Type.cpp | 746 addDependence(typeArg->getDependence() & ~TypeDependence::VariablyModified); in ObjCObjectType()
2891 addDependence(toTypeDependence(Arg.getDependence() & in DependentTemplateSpecializationType()
3179 addDependence(params[i]->getDependence() & in FunctionProtoType()
3194 addDependence( in FunctionProtoType()
3210 addDependence( in FunctionProtoType()
3236 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3240 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3667 addDependence(toTypeDependence(Arg.getDependence()) & in TemplateSpecializationType()
3670 addDependence(Arg.getAsType()->getDependence() & in TemplateSpecializationType()
4405 addDependence( in AutoType()
|
| /dports/lang/clang-mesa/clang-13.0.1.src/lib/AST/ |
| H A D | Type.cpp | 746 addDependence(typeArg->getDependence() & ~TypeDependence::VariablyModified); in ObjCObjectType()
2891 addDependence(toTypeDependence(Arg.getDependence() & in DependentTemplateSpecializationType()
3179 addDependence(params[i]->getDependence() & in FunctionProtoType()
3194 addDependence( in FunctionProtoType()
3210 addDependence( in FunctionProtoType()
3236 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3240 addDependence(TypeDependence::DependentInstantiation); in FunctionProtoType()
3667 addDependence(toTypeDependence(Arg.getDependence()) & in TemplateSpecializationType()
3670 addDependence(Arg.getAsType()->getDependence() & in TemplateSpecializationType()
4405 addDependence( in AutoType()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/include/clang/AST/ |
| H A D | TypeProperties.td | 502 ->addDependence(TypeDependence::DependentInstantiation);
513 ->addDependence(TypeDependence::DependentInstantiation);
658 ->addDependence(TypeDependence::DependentInstantiation);
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/include/clang/AST/ |
| H A D | TypeProperties.td | 502 ->addDependence(TypeDependence::DependentInstantiation);
513 ->addDependence(TypeDependence::DependentInstantiation);
658 ->addDependence(TypeDependence::DependentInstantiation);
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/include/clang/AST/ |
| H A D | TypeProperties.td | 498 ->addDependence(TypeDependence::DependentInstantiation);
509 ->addDependence(TypeDependence::DependentInstantiation);
654 ->addDependence(TypeDependence::DependentInstantiation);
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/include/clang/AST/ |
| H A D | TypeProperties.td | 506 ->addDependence(TypeDependence::DependentInstantiation);
517 ->addDependence(TypeDependence::DependentInstantiation);
679 ->addDependence(TypeDependence::DependentInstantiation);
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/include/clang/AST/ |
| H A D | TypeProperties.td | 502 ->addDependence(TypeDependence::DependentInstantiation);
513 ->addDependence(TypeDependence::DependentInstantiation);
658 ->addDependence(TypeDependence::DependentInstantiation);
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/include/clang/AST/ |
| H A D | TypeProperties.td | 502 ->addDependence(TypeDependence::DependentInstantiation);
513 ->addDependence(TypeDependence::DependentInstantiation);
658 ->addDependence(TypeDependence::DependentInstantiation);
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/include/clang/AST/ |
| H A D | TypeProperties.td | 498 ->addDependence(TypeDependence::DependentInstantiation);
509 ->addDependence(TypeDependence::DependentInstantiation);
654 ->addDependence(TypeDependence::DependentInstantiation);
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/include/clang/AST/ |
| H A D | TypeProperties.td | 502 ->addDependence(TypeDependence::DependentInstantiation);
513 ->addDependence(TypeDependence::DependentInstantiation);
658 ->addDependence(TypeDependence::DependentInstantiation);
|