Home
last modified time | relevance | path

Searched refs:childVar (Results 1 – 13 of 13) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Indexing/
H A DSubstitutionTree.hpp321 IntermediateNode(unsigned childVar) : childVar(childVar),_childBySortHelper(0) {} in IntermediateNode() argument
325 …IntermediateNode(TermList ts, unsigned childVar) : Node(ts), childVar(childVar),_childBySortHelper… in IntermediateNode() argument
379 const unsigned childVar; member in Indexing::SubstitutionTree::IntermediateNode
469 UArrIntermediateNode(unsigned childVar) : IntermediateNode(childVar), _size(0) in UArrIntermediateNode() argument
474 UArrIntermediateNode(TermList ts, unsigned childVar) : IntermediateNode(ts, childVar), _size(0) in UArrIntermediateNode() argument
524 UArrIntermediateNodeWithSorts(unsigned childVar) : UArrIntermediateNode(childVar) { in UArrIntermediateNodeWithSorts() argument
527 …UArrIntermediateNodeWithSorts(TermList ts, unsigned childVar) : UArrIntermediateNode(ts, childVar)… in UArrIntermediateNodeWithSorts() argument
536 SListIntermediateNode(unsigned childVar) : IntermediateNode(childVar) {} in SListIntermediateNode() argument
537 SListIntermediateNode(TermList ts, unsigned childVar) : IntermediateNode(ts, childVar) {} in SListIntermediateNode() argument
639 SListIntermediateNodeWithSorts(unsigned childVar) : SListIntermediateNode(childVar) { in SListIntermediateNodeWithSorts() argument
[all …]
H A DSubstitutionTree_Nodes.cpp140 SubstitutionTree::IntermediateNode* SubstitutionTree::createIntermediateNode(unsigned childVar,bool… in createIntermediateNode() argument
143 if(useC){ return new UArrIntermediateNodeWithSorts(childVar); } in createIntermediateNode()
144 return new UArrIntermediateNode(childVar); in createIntermediateNode()
147 …ntermediateNode* SubstitutionTree::createIntermediateNode(TermList ts, unsigned childVar,bool useC) in createIntermediateNode() argument
150 if(useC){ return new UArrIntermediateNodeWithSorts(ts, childVar); } in createIntermediateNode()
151 return new UArrIntermediateNode(ts, childVar); in createIntermediateNode()
221 res = new SListIntermediateNodeWithSorts(orig->term, orig->childVar); in assimilate()
224 res = new SListIntermediateNode(orig->term, orig->childVar); in assimilate()
H A DSubstitutionTree.cpp193 unsigned boundVar=inode->childVar; in insert()
216 unresolvedSplits.insert(UnresolvedSplitRecord(inode->childVar, child->term)); in insert()
248 unsigned boundVar=inode->childVar; in insert()
383 unsigned boundVar=inode->childVar; in remove()
473 unsigned boundVar=inode->childVar; in findLeaf()
577 res+=getIndentStr(indent) + " S" + Int::toString(inode->childVar)+":\n"; in nodeToString()
910 svStack.push(inode->childVar); in enter()
913 TermList qt = subst.getSpecialVarTop(inode->childVar); in enter()
958 unsigned specVar=n->childVar; in getNodeIterator()
H A DSubstitutionTree_FastGen.cpp574 unsigned specVar=static_cast<UArrIntermediateNode*>(curr)->childVar; in findNextLeaf()
624 TermList binding=_subst->getSpecVarBinding(inode->childVar); in enterNode()
664 _specVarNumbers.push(inode->childVar); in enterNode()
691 _specVarNumbers.push(inode->childVar); in enterNode()
H A DSubstitutionTree_FastInst.cpp766 unsigned specVar=static_cast<UArrIntermediateNode*>(curr)->childVar; in findNextLeaf()
825 if(_subst->findSpecVarBinding(inode->childVar, querySpec)) { in enterNode()
859 _specVarNumbers.push(inode->childVar); in enterNode()
887 _specVarNumbers.push(inode->childVar); in enterNode()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/core refactoring/org/eclipse/jdt/internal/corext/refactoring/generics/
H A DParametricStructureComputer.java535 for (CollectionElementVariable2 childVar : cvs) { in createVars()
536 int declarationTypeVariableIndex= childVar.getDeclarationTypeVariableIndex(); in createVars()
539 setElemStructure(childVar, parms[declarationTypeVariableIndex]); in createVars()
542 for (CollectionElementVariable2 childVar : cvs) { in createVars()
543 int declarationTypeVariableIndex= childVar.getDeclarationTypeVariableIndex(); in createVars()
546 setElemStructure(childVar, ParametricStructure.NONE); in createVars()
550 for (CollectionElementVariable2 childVar : cvs) { in createVars()
551 int declarationTypeVariableIndex= childVar.getDeclarationTypeVariableIndex(); in createVars()
554 result.add(childVar); in createVars()
555 result.addAll(createVariablesFor(childVar)); in createVars()
/dports/lang/spidermonkey78/firefox-78.9.0/accessible/ipc/win/
H A DProxyAccessible.cpp779 VARIANT childVar; in ChildAtPoint() local
780 if (FAILED(target->accHitTest(aX, aY, &childVar)) || in ChildAtPoint()
781 childVar.vt == VT_EMPTY) { in ChildAtPoint()
784 if (childVar.vt == VT_I4 && childVar.lVal == CHILDID_SELF) { in ChildAtPoint()
787 MOZ_ASSERT(childVar.vt == VT_DISPATCH && childVar.pdispVal); in ChildAtPoint()
789 childVar.pdispVal->QueryInterface(IID_IAccessible2_2, in ChildAtPoint()
791 childVar.pdispVal->Release(); in ChildAtPoint()
/dports/www/firefox/firefox-99.0/accessible/ipc/win/
H A DRemoteAccessible.cpp827 VARIANT childVar; in ChildAtPoint() local
828 if (FAILED(target->accHitTest(aX, aY, &childVar)) || in ChildAtPoint()
829 childVar.vt == VT_EMPTY) { in ChildAtPoint()
832 if (childVar.vt == VT_I4 && childVar.lVal == CHILDID_SELF) { in ChildAtPoint()
835 MOZ_ASSERT(childVar.vt == VT_DISPATCH && childVar.pdispVal); in ChildAtPoint()
837 childVar.pdispVal->QueryInterface(IID_IAccessible2_2, in ChildAtPoint()
839 childVar.pdispVal->Release(); in ChildAtPoint()
/dports/www/firefox-esr/firefox-91.8.0/accessible/ipc/win/
H A DRemoteAccessible.cpp782 VARIANT childVar; in ChildAtPoint() local
783 if (FAILED(target->accHitTest(aX, aY, &childVar)) || in ChildAtPoint()
784 childVar.vt == VT_EMPTY) { in ChildAtPoint()
787 if (childVar.vt == VT_I4 && childVar.lVal == CHILDID_SELF) { in ChildAtPoint()
790 MOZ_ASSERT(childVar.vt == VT_DISPATCH && childVar.pdispVal); in ChildAtPoint()
792 childVar.pdispVal->QueryInterface(IID_IAccessible2_2, in ChildAtPoint()
794 childVar.pdispVal->Release(); in ChildAtPoint()
/dports/mail/thunderbird/thunderbird-91.8.0/accessible/ipc/win/
H A DRemoteAccessible.cpp782 VARIANT childVar; in ChildAtPoint() local
783 if (FAILED(target->accHitTest(aX, aY, &childVar)) || in ChildAtPoint()
784 childVar.vt == VT_EMPTY) { in ChildAtPoint()
787 if (childVar.vt == VT_I4 && childVar.lVal == CHILDID_SELF) { in ChildAtPoint()
790 MOZ_ASSERT(childVar.vt == VT_DISPATCH && childVar.pdispVal); in ChildAtPoint()
792 childVar.pdispVal->QueryInterface(IID_IAccessible2_2, in ChildAtPoint()
794 childVar.pdispVal->Release(); in ChildAtPoint()
/dports/net-im/coccinella/Coccinella-0.96.20Src/jabberlib/
H A Dwrapper.tcl757 proc wrapper::splitxml {xmllist tagVar attrVar cdataVar childVar} { argument
763 uplevel 1 [list set $childVar $children]
/dports/audio/supercollider/SuperCollider-3.11.0-Source/editors/sc-ide/widgets/
H A Dmulti_editor.cpp832 foreach (const QVariant& childVar, childrenData) { in loadSplitterState()
833 if (childVar.type() == QVariant::List) { in loadSplitterState()
836 QVariantList childBoxData = childVar.value<QVariantList>(); in loadSplitterState()
838 } else if (childVar.type() == QVariant::Map) { in loadSplitterState()
841 QVariantMap childSplitterData = childVar.value<QVariantMap>(); in loadSplitterState()
/dports/deskutils/basket/basket-2.49a-46-g60e38c6/src/
H A Dnote.cpp50 #define FOR_EACH_CHILD(childVar) \ argument
51 for (Note *childVar = firstChild(); childVar; childVar = childVar->next())