Struct dypdl::Table

pub struct Table<T> {
    pub map: FxHashMap<Vec<Element>, T>,
    pub default: T,
}

Table of constants.

A constant is indexed by a sequence of elements, and the dimension is not fixed.

Fields

map: FxHashMap<Vec<Element>, T>

default: T

Implementations

impl<T> Table<T>

pub fn new(map: FxHashMap<Vec<Element>, T>, default: T) -> Table<T>

Returns a new table.

pub fn get(&self, args: &[Element]) -> &T

Returns a constant.

Panics

Panics if the index is out of bound.

pub fn set(&mut self, key: Vec<Element>, v: T)

Sets a constant.

Panics

Panics if the index is out of bound.

pub fn set_default(&mut self, default: T)

Sets the default value.

pub fn update(&mut self, map: FxHashMap<Vec<Element>, T>, default: T)

Updates the table.

impl<T: Copy> Table<T>

pub fn eval(&self, args: &[Element]) -> T

Returns a constant.

Panics

Panics if the index is out of bound.

impl Table<Set>

pub fn capacity_of_set(&self) -> usize

Return the capacity of a set constant.

Panics

Panics if the table is empty.

Trait Implementations

impl<T: AbsDiffEq> AbsDiffEq for Table<T>

where T::Epsilon: Copy,

type Epsilon = <T as AbsDiffEq>::Epsilon

Used for specifying relative comparisons.

fn default_epsilon() -> T::Epsilon

The default tolerance to use when testing values that are close together.

fn abs_diff_eq(&self, other: &Self, epsilon: T::Epsilon) -> bool

A test for equality that uses the absolute difference to compute the approximate equality of two numbers.

fn abs_diff_ne(&self, other: &Rhs, epsilon: Self::Epsilon) -> bool

The inverse of AbsDiffEq::abs_diff_eq.

impl<T: Clone> Clone for Table<T>

fn clone(&self) -> Table<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Table<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: PartialEq> PartialEq for Table<T>

fn eq(&self, other: &Table<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: RelativeEq> RelativeEq for Table<T>

where T::Epsilon: Copy,

fn default_max_relative() -> T::Epsilon

The default relative tolerance for testing values that are far-apart.

fn relative_eq( &self, other: &Self, epsilon: T::Epsilon, max_relative: T::Epsilon, ) -> bool

A test for equality that uses a relative comparison if the values are far apart.

fn relative_ne( &self, other: &Rhs, epsilon: Self::Epsilon, max_relative: Self::Epsilon, ) -> bool

The inverse of RelativeEq::relative_eq.

impl<T> StructuralPartialEq for Table<T>