68 static void*
operator new(
size_t s);
70 static void operator delete(
void*
p);
132 int size(
void)
const;
197 template<
class Char,
class Traits>
198 std::basic_ostream<Char,Traits>&
199 operator <<(std::basic_ostream<Char,Traits>& os,
211 :
Advisor(home,p,c), _info(i << 1) {}
215 :
Advisor(home,share,a), _info(a._info) {
230 return (_info & 1) != 0;
250 for (
int i=x.
size();
i--; )
269 Activity::Storage::operator
new(
size_t s) {
273 Activity::Storage::operator
delete(
void*
p) {
283 for (
int i=
n;
i--; ) {
284 typename View::VarType xi(x[
i].varimp());
285 a[
i] = bm(home,xi,
i);
305 assert((i >= 0) && (i < storage->
n));
311 assert((i >= 0) && (i < storage->
n));
317 assert((i >= 0) && (i < storage->
n));
359 template<
class Char,
class Traits>
360 std::basic_ostream<Char,Traits>&
361 operator <<(std::basic_ostream<Char,Traits>& os,
363 std::basic_ostringstream<Char,Traits> s;
364 s.copyfmt(os); s.width(0);
372 return os << s.str();
386 c.update(home, share, p.
c);
403 x[as.advisor().idx()].cancel(home,as.advisor());
406 return sizeof(*this);
428 int i = as.advisor().idx();
429 if (as.advisor().marked()) {
430 as.advisor().unmark();
433 as.advisor().dispose(home,
c);