本文整理汇总了C++中Printer::beginHead方法的典型用法代码示例。如果您正苦于以下问题:C++ Printer::beginHead方法的具体用法?C++ Printer::beginHead怎么用?C++ Printer::beginHead使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Printer
的用法示例。
在下文中一共展示了Printer::beginHead方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: accept
void GlobalConstraint::accept(::Printer *v, Grounder* )
{
Printer *printer = v->output()->printer<Printer>();
printer->type(type_);
for (size_t i = 0; i < heads_.size(); ++i)
{
if ((type_==COUNT || type_==COUNT_UNIQUE)&& i==1)
printer->beginHead(cmp_);
else
printer->beginHead();
GlobalConstraintHeadLit& h = heads_[i];
GroundedConstraintVarLitVec vec;
h.getVariables(vec, v->output()->storage());
printer->addHead(vec);
printer->endHead();
}
printer->end();
}