本文整理汇总了C++中CConstraint::OsPrint方法的典型用法代码示例。如果您正苦于以下问题:C++ CConstraint::OsPrint方法的具体用法?C++ CConstraint::OsPrint怎么用?C++ CConstraint::OsPrint使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类CConstraint
的用法示例。
在下文中一共展示了CConstraint::OsPrint方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: Pcnstr
//---------------------------------------------------------------------------
// @function:
// CPartConstraint::OsPrint
//
// @doc:
// Debug print
//
//---------------------------------------------------------------------------
IOstream &
CPartConstraint::OsPrint
(
IOstream &os
)
const
{
os << "Part constraint: (";
if (m_fUninterpreted)
{
os << "uninterpreted)";
return os;
}
for (ULONG ul = 0; ul < m_num_of_part_levels; ul++)
{
if (ul > 0)
{
os << ", ";
}
CConstraint *pcnstr = Pcnstr(ul);
if (NULL != pcnstr)
{
pcnstr->OsPrint(os);
}
else
{
os << "-";
}
}
os << ", default partitions on levels: " << *m_pbsDefaultParts
<< ", unbounded: " << m_is_unbounded;
os << ")";
return os;
}