Struct renforce::environment::Finite

pub struct Finite { /* fields omitted */ }

Finite

Represents a Space with finitely many elements, {0, 1, 2, ..., size-1}

Methods

impl Finite

fn new(size: u32) -> Finite

Returns a new Finite with the given number of elements

Trait Implementations

impl Debug for Finite

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Clone for Finite

fn clone(&self) -> Finite

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Finite

impl Space for Finite

type Element = u32

The type of members of the Space

fn sample(&self) -> u32

Returns a random element of this space

impl FiniteSpace for Finite

fn enumerate(&self) -> Vec<u32>

(Determistically) Returns a vector of all elements of this space

fn size(&self) -> usize

Returns the number of elements in this space

fn index(&self, elm: &u32) -> isize

Returns the index of an element in the vector returned by enumerate