Struct andys_morning_stroll::Football

pub struct Football { /* private fields */ }

A representation of the football Andy the Ant lives on.

A football is a truncated icosahedron. Andy lives on the hexagons, of which there are 20. The pentagon-centered stereographic projection from the Wikipedia page is useful to look at to see the graph structure of Andy’s universe (he lives on the yellow faces in that diagram).

In order to model his universe, we can simply use integers from 0 to 20 for each possible face, and define the available transitions manually.

Implementations

impl Football

pub fn new() -> Self

Create a football.

Trait Implementations

impl RandomWalk for Football

type State = i32

The representation of state in this state machine.

fn make_move<R: Rng>(&mut self, rng: &mut R)

Make a random move on the internal state machine.

fn get_state(&self) -> Self::State

Return the current state of the machine.

fn set_state(&mut self, state: Self::State)

Set the state of the internal state machine.

fn walk<R: Rng>( &mut self, src: Self::State, tgt: Self::State, rng: &mut R ) -> u32

Perform a random walk, starting at src, and making random moves until the tgt state is reached. This does not terminate at zero steps if src and tgt are the same, a move is always made first before continuing until tgt.

fn walk_until_limit<R: Rng>( &mut self, src: Self::State, tgt: Self::State, rng: &mut R, limit: u32 ) -> Result<u32, u32>

Same as walk_until, but also takes a limit parameter, specifying the maximum length of the walk we should allow before bailing out. Returns Ok(num_steps) if tgt is reached at or before the limit, and Err(limit) otherwise.