1/*
2 * Copyright (c) 2003-2005 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 419 unchanged lines hidden (view full) ---

428}
429
430string
431Formula::str() const
432{
433 return root ? root->str() : "";
434}
435
436CallbackQueue resetQueue;
437
438void
439registerResetCallback(Callback *cb)
440{
441 resetQueue.add(cb);
442}
443

--- 9 unchanged lines hidden (view full) ---

453enable()
454{
455 if (_enabled)
456 fatal("Stats are already enabled");
457
458 _enabled = true;
459}
460
461} // namespace Stats
462
463void
464debugDumpStats()
465{
466 Stats::dump();
467}