#include <position_counter.h>
Definition at line 25 of file position_counter.h.
◆ at()
bool mcrl2::utilities::detail::position_counter::at |
( |
std::size_t |
x0, |
|
|
std::size_t |
y0 |
|
) |
| |
|
inline |
◆ decrease()
void mcrl2::utilities::detail::position_counter::decrease |
( |
| ) |
|
|
inline |
◆ increase()
void mcrl2::utilities::detail::position_counter::increase |
( |
| ) |
|
|
inline |
◆ undefined
const std::size_t mcrl2::utilities::detail::position_counter::undefined = std::size_t(-1) |
std::size_t mcrl2::utilities::detail::position_counter::x = 0 |
std::size_t mcrl2::utilities::detail::position_counter::y = undefined |
◆ ycounts
std::vector<std::size_t> mcrl2::utilities::detail::position_counter::ycounts |
The documentation for this struct was generated from the following file: