Struct discrete::Context

pub struct Context<T = Data>(/* private fields */);

A discrete space that can model spatial operations over arbitrary states, therefore useful for context analysis.

It can be constructed by taking a N-dimensional space, for each dimension create a pair subspace and sum over the dimensions. It can also be thought of as the edges in an undirected graph, where each node is described by a N-dimensional coordinate, and all nodes are connected which differ by one axis.

Dimensions of size 2 gives the edges on a hypercube of the number of dimensions. For example, [2, 2, 2] gives edges on a cube in 3 dimensions.

The position is a tuple (Vec<usize>, usize, usize), where the first component describes the node coordinates, the second component describes the index of the coordinate that changes, and the third component describes the new value.

Trait Implementations

impl<T> Construct for Context<T>

fn new() -> Context<T>

Constructs a new Self.

impl Space<BigUint> for Context<Data>

type Dim = Vec<BigUint>

The dimension type of the space.

type Pos = (Vec<BigUint>, usize, BigUint)

The position type of the space.

fn count(&self, dim: &Vec<BigUint>) -> BigUint

Counts the size of space given the dimensions.

fn zero(&self, dim: &Vec<BigUint>) -> (Vec<BigUint>, usize, BigUint)

Creates a default element.

fn to_index(&self, dim: &Self::Dim, (p, ind, b): &Self::Pos) -> BigUint

Converts position to index.

fn to_pos( &self, dim: &Self::Dim, index: BigUint, (p, ind, b): &mut (Vec<BigUint>, usize, BigUint) )

Converts index to position.

impl<N, T> Space<N> for Context<Of<T>>

where T: Space<N>, Pair<Data>: Space<N, Dim = N, Pos = (N, N)>, for<'a> N: Clone + From<usize> + Ord + MulAssign<&'a N> + SubAssign<&'a N> + DivAssign<&'a N> + AddAssign<&'a N>, for<'a> &'a N: Mul<&'a N, Output = N> + Div<&'a N, Output = N> + Add<&'a N, Output = N> + Sub<&'a N, Output = N>,

type Dim = Vec<<T as Space<N>>::Dim>

The dimension type of the space.

type Pos = (Vec<<T as Space<N>>::Pos>, usize, <T as Space<N>>::Pos)

The position type of the space.

fn count(&self, dim: &Self::Dim) -> N

Counts the size of space given the dimensions.

fn zero(&self, dim: &Self::Dim) -> Self::Pos

Creates a default element.

fn to_index(&self, dim: &Self::Dim, (p, ind, b): &Self::Pos) -> N

Converts position to index.

fn to_pos(&self, dim: &Self::Dim, index: N, (p, ind, b): &mut Self::Pos)

Converts index to position.

impl Space<usize> for Context<Data>

type Dim = Vec<usize>

The dimension type of the space.

type Pos = (Vec<usize>, usize, usize)

The position type of the space.

fn count(&self, dim: &Vec<usize>) -> usize

Counts the size of space given the dimensions.

fn zero(&self, dim: &Vec<usize>) -> (Vec<usize>, usize, usize)

Creates a default element.

fn to_index( &self, dim: &Vec<usize>, (p, ind, b): &(Vec<usize>, usize, usize) ) -> usize

Converts position to index.

fn to_pos( &self, dim: &Vec<usize>, index: usize, (p, ind, b): &mut (Vec<usize>, usize, usize) )

Converts index to position.