mCRL2
Loading...
Searching...
No Matches
mcrl2::utilities::detail::position_counter Struct Reference

#include <position_counter.h>

Public Member Functions

void increase ()
 
void decrease ()
 
bool at (std::size_t x0, std::size_t y0)
 

Public Attributes

const std::size_t undefined = std::size_t(-1)
 
std::size_t x = 0
 
std::size_t y = undefined
 
std::vector< std::size_t > ycounts
 

Detailed Description

Definition at line 25 of file position_counter.h.

Member Function Documentation

◆ at()

bool mcrl2::utilities::detail::position_counter::at ( std::size_t  x0,
std::size_t  y0 
)
inline

Definition at line 58 of file position_counter.h.

◆ decrease()

void mcrl2::utilities::detail::position_counter::decrease ( )
inline

Definition at line 53 of file position_counter.h.

◆ increase()

void mcrl2::utilities::detail::position_counter::increase ( )
inline

Definition at line 32 of file position_counter.h.

Member Data Documentation

◆ undefined

const std::size_t mcrl2::utilities::detail::position_counter::undefined = std::size_t(-1)

Definition at line 27 of file position_counter.h.

◆ x

std::size_t mcrl2::utilities::detail::position_counter::x = 0

Definition at line 28 of file position_counter.h.

◆ y

std::size_t mcrl2::utilities::detail::position_counter::y = undefined

Definition at line 29 of file position_counter.h.

◆ ycounts

std::vector<std::size_t> mcrl2::utilities::detail::position_counter::ycounts

Definition at line 30 of file position_counter.h.


The documentation for this struct was generated from the following file: