| /dports/devel/qtcreator/qt-creator-opensource-src-5.0.3/src/libs/3rdparty/cplusplus/ |
| H A D | Templates.cpp | 37 , _subst(nullptr) in CloneType()
48 std::swap(_subst, subst); in cloneType()
53 std::swap(_subst, subst); in cloneType()
104 if (_subst) in visit()
180 , _subst(nullptr) in CloneSymbol()
198 std::swap(_subst, subst); in cloneSymbol()
202 std::swap(_subst, subst); in cloneSymbol()
267 Enum *e = new Enum(_clone, _subst, symbol); in visit()
404 , _subst(nullptr) in CloneName()
420 std::swap(_subst, subst); in cloneName()
[all …]
|
| /dports/math/vampire/vampire-4.5.1/Indexing/ |
| H A D | ResultSubstitution.cpp | 41 : _subst(subst), _queryBank(queryBank), _resultBank(resultBank) {} in RSProxy()
44 { return _subst->apply(t,_queryBank); } in applyToQuery()
46 { return _subst->apply(l,_queryBank); } in applyToQuery()
49 { return _subst->apply(t,_resultBank); } in applyToResult()
51 { return _subst->apply(l,_resultBank); } in applyToResult()
54 { return _subst->apply(t,index); } in applyTo()
56 { return _subst->apply(l,index); } in applyTo()
58 …virtual size_t getQueryApplicationWeight(TermList t) { return _subst->getApplicationResultWeight(t… in getQueryApplicationWeight()
63 RobSubstitution* tryGetRobSubstitution() { return _subst; } in tryGetRobSubstitution()
66 vstring toStringDeref(bool deref){ return _subst->toString(deref); } in toStringDeref()
[all …]
|
| H A D | SubstitutionTree_FastGen.cpp | 380 _subst=new GenMatcher(query,parent->_nextVar); in FastGeneralizationsIterator()
383 _subst->bindSpecialVar(0,TermList(query)); in FastGeneralizationsIterator()
402 delete _subst; in ~FastGeneralizationsIterator()
414 _subst->bindSpecialVar(var,*args); in createInitialBindings()
430 _subst->bindSpecialVar(1,*t->nthArgument(0)); in createReversedInitialBindings()
431 _subst->bindSpecialVar(0,*t->nthArgument(1)); in createReversedInitialBindings()
479 _subst->backtrack(); in findNextLeaf()
512 _subst->backtrack(); in findNextLeaf()
568 _subst->backtrack(); in findNextLeaf()
585 _subst->backtrack(); in findNextLeaf()
[all …]
|
| H A D | SubstitutionTree_FastInst.cpp | 567 Recycler::get(_subst); in FastInstancesIterator()
568 _subst->reset(); in FastInstancesIterator()
572 _subst->bindSpecialVar(0,TermList(query)); in FastInstancesIterator()
587 Recycler::release(_subst); in ~FastInstancesIterator()
600 _subst->bindSpecialVar(var,*args); in createInitialBindings()
616 _subst->bindSpecialVar(1,*t->nthArgument(0)); in createReversedInitialBindings()
677 _subst->backtrack(); in findNextLeaf()
710 _subst->backtrack(); in findNextLeaf()
760 _subst->backtrack(); in findNextLeaf()
777 _subst->backtrack(); in findNextLeaf()
[all …]
|
| H A D | LiteralSubstitutionTree.cpp | 146 _subst=RobSubstitutionSP(new RobSubstitution()); in LDToSLQueryResultWithSubstFn()
151 ResultSubstitution::fromSubstitution(_subst.ptr(), in operator ()()
155 RobSubstitutionSP _subst; member
199 _subst=ResultSubstitutionSP (new DisjunctQueryAndResultVariablesSubstitution()); in PropositionalLDToSLQueryResultWithSubstFn()
204 return SLQueryResult(ld.literal, ld.clause, _subst); in operator ()()
207 ResultSubstitutionSP _subst; member
|
| H A D | AcyclicityIndex.cpp | 214 _subst(new RobSubstitution()), in CycleSearchIterator()
251 (*res)[i] = _subst->apply((*c)[i], index); in applySubstitution()
345 _subst->bdRecord(btData); in hasNext()
346 if (_subst->unify(n->parent->term, in hasNext()
353 _subst->bdDone(); in hasNext()
355 _subst->bdDone(); in hasNext()
381 pushUnificationsOnStack(_subst->apply(n->term, n->substIndex), n); in hasNext()
403 RobSubstitution *_subst; member
|
| H A D | CodeTreeInterfaces.cpp | 129 _subst=new CodeTreeSubstitution(&_matcher->bindings, _resultNormalizer); in ResultIterator()
139 delete _subst; in ~ResultIterator()
174 ResultSubstitutionSP(_subst,true)); in next()
184 CodeTreeSubstitution* _subst; member in Indexing::CodeTreeTIS::ResultIterator
|
| H A D | TermSubstitutionTree.cpp | 262 _subst=RobSubstitutionSP(new RobSubstitution()); in LDToTermQueryResultWithSubstFn()
269 ResultSubstitution::fromSubstitution(_subst.ptr(), in operator ()()
275 ResultSubstitution::fromSubstitution(_subst.ptr(), in operator ()()
281 RobSubstitutionSP _subst; member
|
| /dports/lang/racket/racket-8.3/share/pkgs/redex-benchmark/redex/benchmark/models/let-poly/ |
| H A D | let-poly-4.rkt | 15 (where τ_subst (apply-subst-τ Gx τ))
18 (x τ_subst Gx_eliminated))]
22 (where τ_subst (apply-subst-τ Gx τ))
25 (x τ_subst Gx_eliminated))]
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | EqResWithDeletion.cpp | 86 _subst.reset(); in apply()
121 if(_subst.find(var, res)) { in apply()
136 if(_subst.insert(t0.var(), t1)) { in scan()
141 if(_subst.insert(t1.var(), t0)) { in scan()
|
| H A D | AnswerExtractor.cpp | 133 : _goalLits(goalLits), _lemmas(lemmas), _subst(subst), in SubstBuilder()
169 _subst.bdDone(); in run()
180 _subst.bdRecord(_btData[_depth]); in enterGoal()
186 _subst.bdDone(); in leaveGoal()
198 if(_subst.unifyArgs(goalLit, 0, qres.literal, 1)) { in nextGoalUnif()
204 if(_subst.unify(*goalLit->nthArgument(0), 0, *goalLit->nthArgument(1), 0)) { in nextGoalUnif()
214 RobSubstitution& _subst; member in Shell::ConjunctionGoalAnswerExractor::SubstBuilder
|
| H A D | Skolem.cpp | 90 _subst.reset(); in skolemiseImpl()
342 Literal* ll = l->apply(_subst); in skolemise()
381 Formula* before = SubstHelper::apply(f, _subst); in skolemise()
424 _subst.bind(v,skolemTerm); in skolemise()
449 Formula* after = SubstHelper::apply(f->qarg(), _subst); in skolemise()
|
| /dports/x11-toolkits/gtkada3/gtkada-1688bb8/contrib/ |
| H A D | binding.py | 1332 self._subst["params"] = ""
2185 pragma Inline ("+"); """ % self._subst,
2189 end "+";""" % self._subst,
2610 self._subst["parent_pkg"] = None
2611 self._subst["parent"] = parent
2659 if self._subst["parent_pkg"]:
2704 """ % self._subst)
2711 self._subst, at_end=True)
2729 """ % self._subst, in_spec=False)
2731 elif self._subst["parent"] is None:
[all …]
|
| /dports/math/vampire/vampire-4.5.1/Inferences/ |
| H A D | ExtensionalityResolution.cpp | 89 ForwardUnificationsFn() { _subst = RobSubstitutionSP(new RobSubstitution()); } in ForwardUnificationsFn()
98 SubstIterator unifs = _subst->unifiers(varEq,0,trmEq,1,true); in operator ()()
105 RobSubstitutionSP _subst; member
183 : _extLit (extLit) { _subst = RobSubstitutionSP(new RobSubstitution()); } in BackwardUnificationsFn()
191 SubstIterator unifs = _subst->unifiers(_extLit,0,otherLit,1,true); in operator ()()
199 RobSubstitutionSP _subst; member
|
| H A D | Factoring.cpp | 68 _subst=RobSubstitutionSP(new RobSubstitution()); in UnificationsOnPositiveFn()
79 ASS_EQ(_subst->size(),0); in operator ()()
93 SubstIterator unifs=_subst->unifiers(l1,0,l2,0, false); in operator ()()
103 RobSubstitutionSP _subst; member in Inferences::Factoring::UnificationsOnPositiveFn
|
| /dports/lang/solidity/solidity_0.8.11/libsolidity/formal/ |
| H A D | ExpressionFormatter.cpp | 125 smtutil::Expression substitute(smtutil::Expression _from, map<string, string> const& _subst) in substitute() argument
131 if (_subst.count(_from.name)) in substitute()
132 _from.name = _subst.at(_from.name); in substitute()
134 arg = substitute(arg, _subst); in substitute()
|
| /dports/devel/cons/cons-2.2.0/ |
| H A D | cons | 1024 sub _subst {
1029 return [ map($env->_subst($_), @$str) ];
1151 my($tgt) = $dir::cwd->lookupfile($env->_subst(shift));
1160 my($tgt) = $dir::cwd->lookupfile($env->_subst(shift));
1182 my($tgt) = $env->_subst(shift);
1205 my($tgt) = $env->_subst(shift);
1224 find scan::quickscan($code, $env, $env->_subst($path));
1282 $com = $env->_subst($com);
1613 @names = split(' ', $env->_subst($env->{LIBS} || ''));
1692 my($cpppath) = $env->_subst($env->{CPPPATH});
[all …]
|
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | RobSubstitution.hpp | 286 :_subst(subst), _var(v) in BindingBacktrackObject()
288 if(! _subst->_bank.find(_var,_term)) { in BindingBacktrackObject()
295 _subst->_bank.remove(_var); in backtrack()
297 _subst->_bank.set(_var,_term); in backtrack()
309 RobSubstitution* _subst; member in Kernel::RobSubstitution::BindingBacktrackObject
|
| /dports/devel/buildstream/BuildStream-1.2.8/buildstream/ |
| H A D | _variables.py | 64 substitute, unmatched, _ = self._subst(string, self.variables)
80 def _subst(self, string, variables): member in Variables
137 resolved_var, item_unmatched, matched = self._subst(value, variables)
|
| /dports/print/deforaos-pdfviewer/PDFViewer-0.0.2/tools/ |
| H A D | subst.sh | 53 _subst() function
205 _subst "$@"
|
| /dports/deskutils/deforaos-todo/Todo-0.2.1/tools/ |
| H A D | subst.sh | 53 _subst() function
205 _subst "$@"
|
| /dports/x11/deforaos-libdesktop/libDesktop-0.2.2/tools/ |
| H A D | subst.sh | 53 _subst() function
205 _subst "$@"
|
| /dports/devel/deforaos-libsystem/libSystem-0.3.1/tools/ |
| H A D | subst.sh | 53 _subst() function
205 _subst "$@"
|
| /dports/x11-fm/deforaos-browser/Browser-0.5.1/tools/ |
| H A D | subst.sh | 53 _subst() function
205 _subst "$@"
|
| /dports/www/trafficserver/trafficserver-9.1.1/plugins/regex_remap/ |
| H A D | regex_remap.cc | 119 TSfree(_subst); in ~RemapRegex()
247 char *_subst = nullptr; member in RemapRegex
279 _subst = TSstrdup(sub.c_str()); in initialize()
407 str = _subst; in compile()
460 _sub_pos[_num_subs] = (str - _subst); in compile()
539 char *p2 = _subst; in substitute()
611 memcpy(p1, p2, _subst_len - (p2 - _subst)); in substitute()
612 p1 += _subst_len - (p2 - _subst); in substitute()
616 memcpy(dest, _subst, _subst_len + 1); // No substitutions in the string, copy it all in substitute()
|