Searched refs:isDeque (Results 1 – 10 of 10) sorted by relevance
| /dports/lang/maude/maude-2.7.1/src/AU_Theory/ |
| H A D | AU_Symbol.cc | 150 if (safeCast(AU_BaseDagNode*, subject)->isDeque()) in eqRewrite()
323 if (safeCast(AU_BaseDagNode*, subject)->isDeque()) in computeBaseSort()
408 if (safeCast(AU_BaseDagNode*, d)->isDeque()) in calculateNrSubjectsMatched()
455 if (safeCast(AU_BaseDagNode*, subject)->isDeque()) in stackArguments()
492 if (safeCast(AU_BaseDagNode*, dagNode)->isDeque()) in termify()
523 Assert(safeCast(AU_BaseDagNode*, subject)->isDeque() == false, in computeGeneralizedSort()
575 Assert(safeCast(AU_BaseDagNode*, subject)->isDeque() == false, in computeGeneralizedSort2()
628 if (safeCast(AU_BaseDagNode*, original)->isDeque()) in makeCanonical()
676 if (safeCast(AU_BaseDagNode*, original)->isDeque()) in makeCanonicalCopy()
|
| H A D | AU_BaseDagNode.hh | 61 bool isDeque() const;
85 AU_BaseDagNode::isDeque() const in isDeque() function in AU_BaseDagNode
|
| H A D | AU_Normalize.cc | 53 if (safeCast(AU_BaseDagNode*, d)->isDeque()) in normalizeAtTop()
97 if (safeCast(AU_BaseDagNode*, d)->isDeque()) in normalizeAtTop()
116 if (safeCast(AU_BaseDagNode*, d)->isDeque()) in normalizeAtTop()
|
| H A D | AU_DagNode.cc | 64 if (safeCast(AU_BaseDagNode*, d)->isDeque()) in getAU_DagNode()
87 if (safeCast(const AU_BaseDagNode*, other)->isDeque()) in compareArguments()
430 Assert(d->isDeque() == false, "Oops we got a deque! " << d); in instantiate2()
534 Assert(d->isDeque() == false, "Oops we got a deque! " << d); in instantiateWithCopies2()
|
| H A D | AU_DequeDagNode.cc | 68 if (safeCast(const AU_BaseDagNode*, other)->isDeque()) in compareArguments()
|
| H A D | AU_Matcher.cc | 41 if (safeCast(AU_BaseDagNode*, subject)->isDeque()) in match()
|
| H A D | AU_Term.cc | 279 if (safeCast(const AU_BaseDagNode*, other)->isDeque()) in compareArguments()
|
| /dports/devel/poco/poco-1.10.1-all/Foundation/src/ |
| H A D | Var.cpp | 361 else if (isDeque()) in getAt()
|
| /dports/devel/poco/poco-1.10.1-all/Foundation/include/Poco/Dynamic/ |
| H A D | Var.h | 450 bool isDeque() const;
822 inline bool Var::isDeque() const in isDeque() function
825 return pHolder ? pHolder->isDeque() : false; in isDeque()
|
| H A D | VarHolder.h | 236 virtual bool isDeque() const;
608 inline bool VarHolder::isDeque() const in isDeque() function
3751 bool isDeque() const in isDeque() function
|