Searched defs:Substitutions (Results 1 – 6 of 6) sorted by relevance
704 Substitutions global() section in Regression test structure 858 Test-specific substitutionsSubstitutions global() argument 998 recursiveExpansionLimitSubstitutions global() argument
19 const llvm::DenseMap<Atom, const Formula *> &Substitutions, in substitute()113 llvm::DenseMap<Atom, const Formula *> Substitutions; in simplifyConstraints() local
299 auto Substitutions = R->getValueAsListOfStrings("Substitutions"); getTemplateInsts() local
683 StringMap<DiagText> Substitutions; global() member
445 std::vector<std::unique_ptr<Substitution>> Substitutions; variable 582 std::vector<Substitution *> Substitutions; variable
395 llvm::DenseMap<uintptr_t, unsigned> Substitutions; global() member in __anonaa0cbdaf0111::CXXNameMangler