| /dports/lang/maude/maude-2.7.1/src/Core/ |
| H A D | disjunctiveSubproblemAccumulator.cc | 67 ExtensionInfo* extensionInfo) in addOption()
100 ExtensionInfo* extensionInfo) in extract()
|
| H A D | subproblemDisjunction.cc | 65 ExtensionInfo* extensionInfo) in addOption()
94 ExtensionInfo* extensionInfo = so.extensionInfo; in solve() local
|
| H A D | equationTable.cc | 61 ExtensionInfo* extensionInfo) in applyReplace()
146 ExtensionInfo* extensionInfo) in applyReplaceNoOwise()
|
| H A D | extensionMatchSubproblem.hh | 45 ExtensionInfo* const extensionInfo; member in ExtensionMatchSubproblem
|
| H A D | extensionMatchSubproblem.cc | 47 ExtensionInfo* extensionInfo, in ExtensionMatchSubproblem()
|
| H A D | subproblemDisjunction.hh | 46 ExtensionInfo* extensionInfo; member
|
| H A D | bindingLhsAutomaton.cc | 59 ExtensionInfo* extensionInfo) in match()
|
| /dports/lang/maude/maude-2.7.1/src/CUI_Theory/ |
| H A D | CUI_Matcher.cc | 31 ExtensionInfo* extensionInfo) in match()
155 ExtensionInfo* extensionInfo) in id0CollapseMatch()
179 ExtensionInfo* extensionInfo) in id1CollapseMatch()
234 ExtensionInfo* extensionInfo) in idemCollapseMatch()
|
| /dports/lang/maude/maude-2.7.1/src/ACU_Theory/ |
| H A D | ACU_CollapseMatcher.cc | 31 ExtensionInfo* extensionInfo) in uniqueCollapseMatch()
96 ExtensionInfo* extensionInfo) in multiwayCollapseMatch()
238 ExtensionInfo* extensionInfo) in collapseMatch()
|
| H A D | ACU_TreeDagNode.cc | 149 ExtensionInfo* extensionInfo) in matchVariableWithExtension()
159 ACU_TreeDagNode::partialReplace(DagNode* replacement, ExtensionInfo* extensionInfo) in partialReplace()
169 ACU_TreeDagNode::partialConstruct(DagNode* replacement, ExtensionInfo* extensionInfo) in partialConstruct()
|
| H A D | ACU_NonLinearLhsAutomaton.cc | 83 ACU_ExtensionInfo* extensionInfo) in fillOutExtensionInfo()
108 ExtensionInfo* extensionInfo) in match()
|
| H A D | ACU_TreeMatcher.cc | 117 ACU_ExtensionInfo* extensionInfo) in greedyMatch()
438 ACU_ExtensionInfo* extensionInfo) in greedyPureMatch()
510 ACU_ExtensionInfo* extensionInfo) in treeMatch()
|
| H A D | ACU_GreedyMatcher.cc | 30 ACU_ExtensionInfo* extensionInfo) in greedyMatch()
141 ACU_ExtensionInfo* extensionInfo) in greedyPureMatch()
|
| /dports/lang/maude/maude-2.7.1/src/AU_Theory/ |
| H A D | AU_CollapseMatcher.cc | 31 ExtensionInfo* extensionInfo) in uniqueCollapseMatch()
132 ExtensionInfo* extensionInfo) in multiwayCollapseMatch()
296 ExtensionInfo* extensionInfo) in collapseMatch()
|
| H A D | AU_ExtensionInfo.cc | 68 AU_ExtensionInfo::copy(ExtensionInfo* extensionInfo) in copy()
|
| H A D | AU_GreedyMatcher.cc | 30 AU_ExtensionInfo* extensionInfo) in greedyMatch()
209 AU_LhsAutomaton::greedyMatchBlocks(AU_DagNode* subject, AU_ExtensionInfo* extensionInfo) in greedyMatchBlocks()
279 AU_ExtensionInfo* extensionInfo) in greedyMatchVariableBlock()
|
| /dports/lang/maude/maude-2.7.1/src/S_Theory/ |
| H A D | S_Subproblem.hh | 54 S_ExtensionInfo* const extensionInfo; member in S_Subproblem
|
| H A D | S_ExtensionInfo.cc | 63 S_ExtensionInfo::copy(ExtensionInfo* extensionInfo) in copy()
|
| H A D | S_DagNode.cc | 164 S_DagNode::partialReplace(DagNode* replacement, ExtensionInfo* extensionInfo) in partialReplace()
172 S_DagNode::partialConstruct(DagNode* replacement, ExtensionInfo* extensionInfo) in partialConstruct()
190 ExtensionInfo* extensionInfo) in matchVariableWithExtension()
|
| H A D | S_Symbol.cc | 117 S_ExtensionInfo extensionInfo(safeCast(S_DagNode*, subject)); in ruleRewrite() local
151 S_ExtensionInfo extensionInfo(s); in eqRewrite() local
168 S_ExtensionInfo extensionInfo(s); in eqRewrite() local
230 S_ExtensionInfo extensionInfo(s); in memoStrategy() local
|
| H A D | S_LhsAutomaton.cc | 181 S_ExtensionInfo* extensionInfo) in extMatchGt()
275 ExtensionInfo* extensionInfo) in match()
|
| /dports/lang/maude/maude-2.7.1/src/Variable/ |
| H A D | variableLhsAutomaton.cc | 60 ExtensionInfo* extensionInfo) in match()
|
| /dports/lang/maude/maude-2.7.1/src/ObjectSystem/ |
| H A D | configSymbol.cc | 312 ACU_ExtensionInfo extensionInfo(safeCast(ACU_DagNode*, subject)); in ruleRewrite() local
328 ACU_ExtensionInfo extensionInfo(safeCast(ACU_DagNode*, r)); in ruleRewrite() local
392 ExtensionInfo* extensionInfo) in leftOverRewrite()
|
| /dports/net/gscloud/gscloud-0.11.0/vendor/google.golang.org/protobuf/cmd/protoc-gen-go/internal_gengo/ |
| H A D | init.go | 161 type extensionInfo struct { struct
162 *protogen.Extension
|
| /dports/net-mgmt/bind_exporter/bind_exporter-0.4.0/vendor/google.golang.org/protobuf/cmd/protoc-gen-go/internal_gengo/ |
| H A D | init.go | 161 type extensionInfo struct { struct
162 *protogen.Extension
|