position property

int position
getter/setter pair

Position in the state history.

Implementation

int position = 0;