#include <visitedCounter.h>
Public メソッド | |
VisitedCounter () | |
virtual | ~VisitedCounter () |
void | incrementVisited () |
int | countVisited () const |
Private 変数 | |
int | counter |
visitedCounter.h の 14 行で定義されています。
osl::checkmate::VisitedCounter::VisitedCounter | ( | ) |
visitedCounter.cc の 6 行で定義されています。
osl::checkmate::VisitedCounter::~VisitedCounter | ( | ) | [virtual] |
visitedCounter.cc の 11 行で定義されています。
void osl::checkmate::VisitedCounter::incrementVisited | ( | ) | [inline] |
int osl::checkmate::VisitedCounter::countVisited | ( | ) | const [inline] |
visitedCounter.h の 22 行で定義されています。
参照先 counter.
参照元 osl::checkmate::DominanceTable::confirmNoVisitedRecords().
int osl::checkmate::VisitedCounter::counter [private] |