Traits Template Specializations module

Specializations of Rodin::FormLanguage::Traits.

Each specialization exposes the types a form-language node needs from its operands: the scalar type, the range type, the finite element space and, for shape functions, the trial or test space they belong to.

Classes

template<class Range> struct Rodin::FormLanguage::Traits<Variational::P0Element<Range>>: Type traits for P0Element: exposes the scalar type and the range type of the element.
template<class Range> struct Rodin::FormLanguage::Traits<Variational::P1Element<Range>>: Type traits for P1Element: exposes the scalar type and the range type of the element.
template<class LHS, class RHSDerived> struct Rodin::FormLanguage::Traits<Variational::Potential<LHS, Variational::FunctionBase<RHSDerived>>>: Traits for Potential operator.
template<class LHS, class RHSDerived, class FES, Variational::ShapeFunctionSpaceType Space> struct Rodin::FormLanguage::Traits<Variational::Potential<LHS, Variational::ShapeFunctionBase<Variational::ShapeFunction<RHSDerived, FES, Space>>>>: Traits for Potential.