Home
last modified time | relevance | path

Searched defs:childVar (Results 1 – 8 of 8) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Indexing/
H A DSubstitutionTree.hpp321 IntermediateNode(unsigned childVar) : childVar(childVar),_childBySortHelper(0) {} in IntermediateNode()
325 …IntermediateNode(TermList ts, unsigned childVar) : Node(ts), childVar(childVar),_childBySortHelper… in IntermediateNode()
379 const unsigned childVar; member in Indexing::SubstitutionTree::IntermediateNode
469 UArrIntermediateNode(unsigned childVar) : IntermediateNode(childVar), _size(0) in UArrIntermediateNode()
474 UArrIntermediateNode(TermList ts, unsigned childVar) : IntermediateNode(ts, childVar), _size(0) in UArrIntermediateNode()
524 UArrIntermediateNodeWithSorts(unsigned childVar) : UArrIntermediateNode(childVar) { in UArrIntermediateNodeWithSorts()
527 …UArrIntermediateNodeWithSorts(TermList ts, unsigned childVar) : UArrIntermediateNode(ts, childVar)… in UArrIntermediateNodeWithSorts()
536 SListIntermediateNode(unsigned childVar) : IntermediateNode(childVar) {} in SListIntermediateNode()
537 SListIntermediateNode(TermList ts, unsigned childVar) : IntermediateNode(ts, childVar) {} in SListIntermediateNode()
639 SListIntermediateNodeWithSorts(unsigned childVar) : SListIntermediateNode(childVar) { in SListIntermediateNodeWithSorts()
[all …]
H A DSubstitutionTree_Nodes.cpp140 SubstitutionTree::IntermediateNode* SubstitutionTree::createIntermediateNode(unsigned childVar,bool… in createIntermediateNode()
147 …ntermediateNode* SubstitutionTree::createIntermediateNode(TermList ts, unsigned childVar,bool useC) in createIntermediateNode()
/dports/net-im/coccinella/Coccinella-0.96.20Src/jabberlib/
H A Dwrapper.tcl757 proc wrapper::splitxml {xmllist tagVar attrVar cdataVar childVar} {
/dports/lang/spidermonkey78/firefox-78.9.0/accessible/ipc/win/
H A DProxyAccessible.cpp779 VARIANT childVar; in ChildAtPoint() local
/dports/www/firefox/firefox-99.0/accessible/ipc/win/
H A DRemoteAccessible.cpp827 VARIANT childVar; in ChildAtPoint() local
/dports/www/firefox-esr/firefox-91.8.0/accessible/ipc/win/
H A DRemoteAccessible.cpp782 VARIANT childVar; in ChildAtPoint() local
/dports/mail/thunderbird/thunderbird-91.8.0/accessible/ipc/win/
H A DRemoteAccessible.cpp782 VARIANT childVar; in ChildAtPoint() local
/dports/deskutils/basket/basket-2.49a-46-g60e38c6/src/
H A Dnote.cpp50 #define FOR_EACH_CHILD(childVar) \ argument