INFO: A counter class. More...
#include <lean_graph.h>
Public Member Functions | |
Counter (CounterType start_from) | |
bool | exist (const Aspect &aspect) const |
bool | counter_exceeds (CounterType ct) const |
CounterType | get_counter (const Aspect &aspect) |
CounterType | get_counter () const |
INFO: A counter class.
|
inlineexplicit |
|
inline |
|
inline |
|
inline |
|
inline |