本文整理汇总了C++中ASTNode::PL_Print方法的典型用法代码示例。如果您正苦于以下问题：C++ ASTNode::PL_Print方法的具体用法？C++ ASTNode::PL_Print怎么用？C++ ASTNode::PL_Print使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类ASTNode的用法示例。
在下文中一共展示了ASTNode::PL_Print方法的3个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: printAssertsToStream
void STPMgr::printAssertsToStream(ostream& os)
{
ASTVec v = GetAsserts();
for (ASTVec::iterator i = v.begin(), iend = v.end(); i != iend; i++)
{
ASTNode q = *i;
os << "ASSERT( ";
q.PL_Print(os, this);
os << ");" << endl;
}
}示例2: printAssertsToStream
void STPMgr::printAssertsToStream(ostream &os, int simplify_print) {
ASTVec v = GetAsserts();
for(ASTVec::iterator i=v.begin(),iend=v.end();i!=iend;i++) {
//Begin_RemoveWrites = true; ASTNode q = (simplify_print == 1) ?
//SimplifyFormula_TopLevel(*i,false) : *i; q = (simplify_print
//== 1) ? SimplifyFormula_TopLevel(q,false) : q;
ASTNode q = *i;
//Begin_RemoveWrites = false;
os << "ASSERT( ";
q.PL_Print(os);
os << ");" << endl;
}
}示例3: print_STPInput_Back
void print_STPInput_Back(const ASTNode& query) {
// Determine the symbols in the query and asserts.
ASTNodeSet visited;
ASTNodeSet symbols;
buildListOfSymbols(query, visited, symbols);
ASTVec v = (BEEV::GlobalSTP->bm)->GetAsserts();
for(ASTVec::iterator i=v.begin(),iend=v.end();i!=iend;i++)
buildListOfSymbols(*i, visited, symbols);
(BEEV::GlobalSTP->bm)->printVarDeclsToStream(cout, symbols);
(BEEV::GlobalSTP->bm)->printAssertsToStream(cout,0);
cout << "QUERY(";
query.PL_Print(cout);
cout << ");\n";
} //end of print_STPInput_Back()