本文整理汇总了C++中MessageHandler::end方法的典型用法代码示例。如果您正苦于以下问题：C++ MessageHandler::end方法的具体用法？C++ MessageHandler::end怎么用？C++ MessageHandler::end使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类MessageHandler的用法示例。
在下文中一共展示了MessageHandler::end方法的3个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: if
uint64_t count64() {
MessageHandler mh;
mh.begin("counting") << " paths of " << typenameof(spec);
std::vector<Word> tmp(stateWords + 1);
Word* ptmp = tmp.data();
int const n = spec.get_root(state(ptmp));
if (n <= 0) {
mh << " ...";
mh.end(0);
return (n == 0) ? 0 : 1;
}
mh << "\n";
uint64_t total = 0;
size_t maxWidth = 0;
//std::cerr << "\nLevel,Width\n";
std::vector<MemoryPool> pools(n + 1);
MyVector<MyList<Word> > vnodeTable(n + 1);
MyVector<UniqTable> uniqTable;
uniqTable.reserve(n + 1);
for (int i = 0; i <= n; ++i) {
uniqTable.push_back(UniqTable(hasher, hasher));
}
Word* p0 = vnodeTable[n].alloc_front(stateWords + 1);
spec.get_copy(state(p0), state(ptmp));
spec.destruct(state(ptmp));
number64(p0) = 1;
for (int i = n; i > 0; --i) {
MyList<Word>& vnodes = vnodeTable[i];
size_t m = vnodes.size();
//std::cerr << i << "," << m << "\n";
maxWidth = std::max(maxWidth, m);
MyList<Word>& nextVnodes = vnodeTable[i - 1];
UniqTable& nextUniq = uniqTable[i - 1];
Word* pp = nextVnodes.alloc_front(stateWords + 1);
//if (nextUniq.size() < m) nextUniq.rehash(m);
for (; !vnodes.empty(); vnodes.pop_front()) {
Word* p = vnodes.front();
if (number64(p) == 0) {
spec.destruct(state(p));
continue;
}
for (int b = 0; b <= 1; ++b) {
spec.get_copy(state(pp), state(p));
int ii = spec.get_child(state(pp), i, b);
if (ii <= 0) {
spec.destruct(state(pp));
if (ii != 0) {
total += number64(p);
}
}
else if (ii < i - 1) {
Word* qq = vnodeTable[ii].alloc_front(stateWords + 1);
spec.get_copy(state(qq), state(pp));
spec.destruct(state(pp));
Word* qqq = uniqTable[ii].add(qq);
if (qqq == qq) {
number64(qqq) = number64(p);
}
else {
spec.destruct(state(qq));
number64(qqq) += number64(p);
vnodeTable[ii].pop_front();
}
}
else {
assert(ii == i - 1);
Word* ppp = nextUniq.add(pp);
if (ppp == pp) {
number64(ppp) = number64(p);
pp = nextVnodes.alloc_front(stateWords + 1);
}
else {
spec.destruct(state(pp));
number64(ppp) += number64(p);
}
}
}
spec.destruct(state(p));
}
nextVnodes.pop_front();
nextUniq.clear();
pools[i].clear();
spec.destructLevel(i);
mh << ".";
}
//.........这里部分代码省略.........
示例2: count
std::string count() {
MessageHandler mh;
mh.begin("counting") << " paths of " << typenameof(spec);
std::vector<Word> tmp(stateWords + 1);
Word* ptmp = tmp.data();
int const n = spec.get_root(state(ptmp));
if (n <= 0) {
mh << " ...";
mh.end(0);
return (n == 0) ? "0" : "1";
}
uint64_t totalStorage[n / 63 + 1];
BigNumber total(totalStorage);
total.store(0);
size_t maxWidth = 0;
//std::cerr << "\nLevel,Width\n";
std::vector<MemoryPool> pools(n + 1);
MyVector<MyList<Word> > vnodeTable(n + 1);
MyVector<UniqTable> uniqTable;
uniqTable.reserve(n + 1);
for (int i = 0; i <= n; ++i) {
uniqTable.push_back(UniqTable(hasher, hasher));
}
int numberWords = 1;
Word* p0 = vnodeTable[n].alloc_front(stateWords + 1);
spec.get_copy(state(p0), state(ptmp));
spec.destruct(state(ptmp));
number(p0).store(1);
mh.setSteps(n);
for (int i = n; i > 0; --i) {
MyList<Word>& vnodes = vnodeTable[i];
size_t m = vnodes.size();
//std::cerr << i << "," << m << "\n";
maxWidth = std::max(maxWidth, m);
MyList<Word>& nextVnodes = vnodeTable[i - 1];
UniqTable& nextUniq = uniqTable[i - 1];
int const nextWords = stateWords + numberWords + 1;
Word* pp = nextVnodes.alloc_front(nextWords);
//if (nextUniq.size() < m) nextUniq.rehash(m);
for (; !vnodes.empty(); vnodes.pop_front()) {
Word* p = vnodes.front();
if (number(p).equals(0)) {
spec.destruct(state(p));
continue;
}
for (int b = 0; b <= 1; ++b) {
spec.get_copy(state(pp), state(p));
int ii = spec.get_child(state(pp), i, b);
if (ii <= 0) {
spec.destruct(state(pp));
if (ii != 0) {
total.add(number(p));
}
}
else if (ii < i - 1) {
Word* qq = vnodeTable[ii].alloc_front(
nextWords + (i - ii) / 63);
spec.get_copy(state(qq), state(pp));
spec.destruct(state(pp));
Word* qqq = uniqTable[ii].add(qq);
if (qqq == qq) {
number(qqq).store(number(p));
}
else {
spec.destruct(state(qq));
int w = number(qqq).add(number(p));
if (numberWords < w) {
numberWords = w; //FIXME might be broken at long skip
}
vnodeTable[ii].pop_front();
}
}
else {
assert(ii == i - 1);
Word* ppp = nextUniq.add(pp);
if (ppp == pp) {
number(ppp).store(number(p));
pp = nextVnodes.alloc_front(nextWords);
}
else {
spec.destruct(state(pp));
int w = number(ppp).add(number(p));
if (numberWords < w) {
numberWords = w; //FIXME might be broken at long skip
}
}
}
//.........这里部分代码省略.........
示例3: main
//.........这里部分代码省略.........
mh << "#node = " << dd.size() << ", #solution = "
<< dd.evaluate(ZddCardinality<>()) << "\n\n";
}
if (opt["path"]) {
if (!opt["uec"]) optNum["uec"] = 0;
IntRange zeroOrTwo(0, 2, 2);
IntRange justOne(1, 1);
DegreeConstraint dc(g);
for (int v = 1; v <= g.vertexSize(); ++v) {
if (g.colorNumber(v) == 0) {
dc.setConstraint(v, &zeroOrTwo);
}
else {
dc.setConstraint(v, &justOne);
}
}
dd.zddSubset(dc);
mh << "#node = " << dd.size() << ", #solution = "
<< dd.evaluate(ZddCardinality<>()) << "\n\n";
}
if (opt["matching"]) {
IntRange zeroOrOne(0, 1);
DegreeConstraint dc(g, &zeroOrOne);
dd.zddSubset(dc);
mh << "#node = " << dd.size() << ", #solution = "
<< dd.evaluate(ZddCardinality<>()) << "\n\n";
}
if (opt["spanning"]) {
IntRange oneOrMore(1);
DegreeConstraint dc(g);
for (int v = 1; v <= g.vertexSize(); ++v) {
if (g.colorNumber(v) == 0) {
dc.setConstraint(v, &oneOrMore);
}
}
dd.zddSubset(dc);
mh << "#node = " << dd.size() << ", #solution = "
<< dd.evaluate(ZddCardinality<>()) << "\n\n";
}
if (opt["lb"] || opt["ub"]) {
IntRange r(optNum["lb"], optNum["ub"]);
SizeConstraint sc(g.edgeSize(), &r);
dd.zddSubset(sc);
mh << "#node = " << dd.size() << ", #solution = "
<< dd.evaluate(ZddCardinality<>()) << "\n\n";
}
FrontierBasedSearch fbs(g, optNum["uec"], opt["noloop"]);
dd.zddSubset(fbs);
if (opt["zdd"]) dd.dumpDot(std::cout, "ZDD");
if (opt["export"]) dd.dumpSapporo(std::cout);
mh << "#node = " << dd.size() << ", #solution = "
<< dd.evaluate(ZddCardinality<>()) << "\n\n";
if (opt["sapporo"]) {
BDD_Init(1024, 1024 * 1024 * 1024);
MessageHandler mh;
mh.begin("ToZBDD") << " ...";
ZBDD f = dd.evaluate(ToZBDD());
mh.end(f.Size());
}
if (opt["solutions"]) {
int const n = g.edgeSize();
int count = optNum["solutions"];
for (typeof(dd.begin()) t = dd.begin(); t != dd.end(); ++t) {
EdgeDecorator edges;
edges.selected.resize(n);
for (size_t i = 0; i < t->size(); ++i) {
edges.selected[n - (*t)[i]] = true;
}
g.dump(std::cout, edges);
if (--count == 0) break;
}
}
}
catch (std::exception& e) {
std::cerr << e.what() << "\n";
return 1;
}
mh.end();
return 0;
}