Trait gad::core::CoreAlgebra

pub trait CoreAlgebra<Data> {
    type Value;
    fn variable(&mut self, data: Data) -> Self::Value;
    fn constant(&mut self, data: Data) -> Self::Value;
    fn add(&mut self, v1: &Self::Value, v2: &Self::Value) -> Result<Self::Value>;

    fn add_all(&mut self, values: &[&Self::Value]) -> Result<Self::Value>
    where
        Self::Value: Clone,
    { ... }
}

Core trait for data operations that support differentiation of values.

Associated Types

type Value

Tracked values of underlying type Data.

Loading content...

Required methods

fn variable(&mut self, data: Data) -> Self::Value

A differential input to the computation.

fn constant(&mut self, data: Data) -> Self::Value

A non-differential input to the computation.

fn add(&mut self, v1: &Self::Value, v2: &Self::Value) -> Result<Self::Value>

Compute the sum of two values v1 + v2.

Loading content...

Provided methods

fn add_all(&mut self, values: &[&Self::Value]) -> Result<Self::Value> where
    Self::Value: Clone, 

Compute the sum of several values.

Loading content...

Implementors

impl<D, E, Dims> CoreAlgebra<D> for Graph<Config1<E>> where
    E: Default + Clone + CoreAlgebra<D, Value = D>,
    D: HasDims<Dims = Dims> + Clone + 'static + Send + Sync,
    Dims: PartialEq + Debug + Clone + 'static + Send + Sync, 

type Value = Value<D>

fn variable(&mut self, data: D) -> Value<D>

fn constant(&mut self, data: D) -> Value<D>

fn add(&mut self, v1: &Value<D>, v2: &Value<D>) -> Result<Value<D>>

fn add_all(&mut self, values: &[&Value<D>]) -> Result<Value<D>>

impl<D, E, Dims> CoreAlgebra<D> for Graph<ConfigN<E>> where
    E: Default + Clone + CoreAlgebra<D, Value = D>,
    D: HasDims<Dims = Dims> + Clone + 'static + Send + Sync,
    Dims: PartialEq + Debug + Clone + 'static + Send + Sync, 

type Value = Value<D>

fn variable(&mut self, data: D) -> Value<D>

fn constant(&mut self, data: D) -> Value<D>

fn add(&mut self, v1: &Value<D>, v2: &Value<D>) -> Result<Value<D>>

fn add_all(&mut self, values: &[&Value<D>]) -> Result<Value<D>>

impl<T: Number> CoreAlgebra<T> for Check

type Value = ()

fn variable(&mut self, _data: T)

fn constant(&mut self, _data: T)

fn add(&mut self, _v0: &(), _v1: &()) -> Result<()>

fn add_all(&mut self, _values: &[&()]) -> Result<()>

impl<T: Number> CoreAlgebra<T> for Eval

type Value = T

fn variable(&mut self, data: T) -> T

fn constant(&mut self, data: T) -> T

fn add(&mut self, v0: &T, v1: &T) -> Result<T>

Loading content...