本文整理汇总了C++中Space::failed方法的典型用法代码示例。如果您正苦于以下问题：C++ Space::failed方法的具体用法？C++ Space::failed怎么用？C++ Space::failed使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Space的用法示例。
在下文中一共展示了Space::failed方法的5个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: y
forceinline ModEvent
ValCommitFunction<View>::commit(Space& home, unsigned int a, View x, int i,
Val n) {
typename View::VarType y(x.varimp());
c(home,a,y,i,n);
return home.failed() ? ES_FAILED : ES_OK;
}示例2: sizeof
forceinline size_t
ElementUnion<SView,RView>::dispose(Space& home) {
home.ignore(*this,AP_DISPOSE);
if (!home.failed()) {
x0.cancel(home,*this,PC_SET_ANY);
x1.cancel(home,*this,PC_SET_ANY);
iv.cancel(home,*this,PC_SET_ANY);
}
(void) Propagator::dispose(home);
return sizeof(*this);
}示例3: sizeof
forceinline size_t
ElementUnionConst<SView,RView>::dispose(Space& home) {
home.ignore(*this,AP_DISPOSE);
if (!home.failed()) {
x0.cancel(home,*this, PC_SET_ANY);
x1.cancel(home,*this, PC_SET_ANY);
}
for (unsigned int i=n_iv; i--;)
iv[i].~IntSet();
(void) Propagator::dispose(home);
return sizeof(*this);
}示例4: sizeof
forceinline size_t
Incremental<View>::dispose(Space& home) {
if (!home.failed()) {
int literals = static_cast<int>(ts()->domsize*x.size());
for (int i = literals; i--; )
if (support_data[i]) {
SupportEntry* lastse = support_data[i];
while (lastse->next() != NULL)
lastse = lastse->next();
support_data[i]->dispose(home, lastse);
}
home.rfree(support_data, sizeof(SupportEntry*)*literals);
}
ac.dispose(home);
(void) Base<View,false>::dispose(home);
return sizeof(*this);
}示例5: sizeof
size_t
NoGoodsProp::dispose(Space& home) {
if (home.failed()) {
// This will be executed when one ngl returned true for notice()
NGL* l = root;
while (l != NULL) {
NGL* t = l->next();
(void) l->dispose(home);
l = t;
}
} else if (root != NULL) {
// This will be executed for subsumption
NGL* l = disposenext(root,home,*this,true);
while ((l != NULL) && l->leaf())
l = disposenext(l,home,*this,true);
if (l != NULL)
l = disposenext(l,home,*this,true);
while (l != NULL)
l = disposenext(l,home,*this,false);
}
home.ignore(*this,AP_DISPOSE,true);
(void) Propagator::dispose(home);
return sizeof(*this);
}