本文整理汇总了C++中Space::rfree方法的典型用法代码示例。如果您正苦于以下问题:C++ Space::rfree方法的具体用法?C++ Space::rfree怎么用?C++ Space::rfree使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Space
的用法示例。
在下文中一共展示了Space::rfree方法的2个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: sizeof
forceinline size_t
Base<View,subscribe>::dispose(Space& home) {
home.ignore(*this,AP_DISPOSE);
(void) Propagator::dispose(home);
if (subscribe)
x.cancel(home,*this,PC_INT_DOM);
// take care of last_data
unsigned int literals = ts()->domsize*x.size();
home.rfree(last_data, sizeof(Tuple*)*literals);
(void) tupleSet.~TupleSet();
return sizeof(*this);
}
示例2: 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);
}