Trait aegir::Contains

pub trait Contains<T: Identifier>: Node {
    fn contains(&self, ident: T) -> bool;
}

Trait for operator Nodes that can assert their symbolic contents.

Required Methods

fn contains(&self, ident: T) -> bool

Returns true if the identifier is present in the expression.

Implementors

impl<I, T, A> Contains<A> for VariableAdjoint<I, T>where
    I: Identifier + PartialEq<T> + PartialEq<A>,
    T: Identifier + PartialEq<A>,
    A: Identifier,

impl<L, R, I: Identifier> Contains<I> for Add<L, R>where
    L: Contains<I>,
    R: Contains<I>,

impl<L, R, I: Identifier> Contains<I> for Div<L, R>where
    L: Contains<I>,
    R: Contains<I>,

impl<L, R, I: Identifier> Contains<I> for Mul<L, R>where
    L: Contains<I>,
    R: Contains<I>,

impl<L, R, I: Identifier> Contains<I> for Sub<L, R>where
    L: Contains<I>,
    R: Contains<I>,

impl<N, E, I: Identifier> Contains<I> for Power<N, E>where
    N: Contains<I>,
    E: Contains<I>,

impl<N, I: Identifier> Contains<I> for DiGamma<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Erf<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Gamma<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for LogGamma<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Abs<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for AddOne<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Dirac<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Double<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Exp<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Ln<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Negate<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for OneSub<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Rabbit<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Sigmoid<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Sign<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Square<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for SubOne<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Sum<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for XLnX<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for ArcCos<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for ArcCosh<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for ArcSin<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for ArcSinh<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for ArcTan<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for ArcTanh<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Cos<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Cosh<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Sin<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Sinh<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Tan<N>where
    N: Contains<I>,

impl<N, I: Identifier> Contains<I> for Tanh<N>where
    N: Contains<I>,

impl<N, T, A> Contains<A> for ConstantAdjoint<N, T>where
    N: Contains<A>,
    T: Identifier + PartialEq<A>,
    A: Identifier,

impl<T, I> Contains<T> for Variable<I>where
    T: Identifier,
    I: Identifier + PartialEq<T>,

impl<T, S> Contains<T> for Constant<S>where
    T: Identifier,
    S: Shaped + IntoSpec,

impl<const AXES: usize, L, R, I: Identifier> Contains<I> for Contract<AXES, L, R>where
    L: Contains<I>,
    R: Contains<I>,