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
444} // namespace Stats
445
446void
447debugDumpStats()
448{
449 Stats::dump();
450}