本文整理汇总了C++中TNode::substitute方法的典型用法代码示例。如果您正苦于以下问题:C++ TNode::substitute方法的具体用法?C++ TNode::substitute怎么用?C++ TNode::substitute使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类TNode
的用法示例。
在下文中一共展示了TNode::substitute方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: simpConstants
Node ITESimplifier::simpConstants(TNode simpContext, TNode iteNode, TNode simpVar)
{
NodePairMap::iterator it;
it = d_simpConstCache.find(pair<Node, Node>(simpContext,iteNode));
if (it != d_simpConstCache.end()) {
return (*it).second;
}
if (iteNode.getKind() == kind::ITE) {
NodeBuilder<> builder(kind::ITE);
builder << iteNode[0];
unsigned i = 1;
for (; i < iteNode.getNumChildren(); ++ i) {
Node n = simpConstants(simpContext, iteNode[i], simpVar);
if (n.isNull()) {
return n;
}
builder << n;
}
// Mark the substitution and continue
Node result = builder;
result = Rewriter::rewrite(result);
d_simpConstCache[pair<Node, Node>(simpContext, iteNode)] = result;
return result;
}
if (!containsTermITE(iteNode)) {
Node n = Rewriter::rewrite(simpContext.substitute(simpVar, iteNode));
d_simpConstCache[pair<Node, Node>(simpContext, iteNode)] = n;
return n;
}
Node iteNode2;
Node simpVar2;
d_simpContextCache.clear();
Node simpContext2 = createSimpContext(iteNode, iteNode2, simpVar2);
if (!simpContext2.isNull()) {
Assert(!iteNode2.isNull());
simpContext2 = simpContext.substitute(simpVar, simpContext2);
Node n = simpConstants(simpContext2, iteNode2, simpVar2);
if (n.isNull()) {
return n;
}
d_simpConstCache[pair<Node, Node>(simpContext, iteNode)] = n;
return n;
}
return Node();
}