Counter * Counters::hasCounter(int _power, int _toughness) { return hasCounter("", _power, _toughness); }
unsigned long long Instance::getTotalCounterValue (const string &ctr) { assert (hasCounter(ctr)); return TotalCounterValues[ctr]; }