UnaryMinus

Represent the negation of an operand.

template <
  class Operand>
class UnaryMinus;

Specializations

SpecializationDescription
FormLanguage::List<…>
Full specialization
template <
  class Number>
class UnaryMinus<
  FormLanguage::List< GlobalBilinearFormIntegratorBase< Number > >>;
Negation of a list of bilinear form integrators.
FormLanguage::List<…>
Full specialization
template <
  class Number>
class UnaryMinus<
  FormLanguage::List< LinearFormIntegratorBase< Number > >>;
Negation of a list of linear form integrators.
FormLanguage::List<…>
Full specialization
template <
  class Number>
class UnaryMinus<
  FormLanguage::List< LocalBilinearFormIntegratorBase< Number > >>;
Negation of a list of bilinear form integrators.
FunctionBase<NestedDerived>
Full specialization
template <
  class NestedDerived>
class UnaryMinus<
  FunctionBase< NestedDerived >> final;
Negation of a function.
GlobalBilinearFormIntegratorBase<Number>
Full specialization
template <
  class Number>
class UnaryMinus<
  GlobalBilinearFormIntegratorBase< Number >>;
Negation of a bilinear form integrator.
LinearFormIntegratorBase<Number>
Full specialization
template <
  class Number>
class UnaryMinus<
  LinearFormIntegratorBase< Number >> final;
Negation of a linear form integrator.
LocalBilinearFormIntegratorBase<Number>
Full specialization
template <
  class Number>
class UnaryMinus<
  LocalBilinearFormIntegratorBase< Number >>;
Negation of a bilinear form integrator.
ShapeFunctionBase<NestedDerived, …>
Full specialization
template <
  class NestedDerived,
  class FES,
  ShapeFunctionSpaceType Space>
class UnaryMinus<
  ShapeFunctionBase< NestedDerived, FES, Space >> final;
Negation of a shape function.
Template parameters
Operand Type of operand

Represents the following mathematical expression:

\[ - \text{Operand} \]

Range Deduction Rules

The rule for deducing the range of a UnaryMinus object, denoted $ \texttt{Range}[-\text{Operand}] $ , is the following:

\[ \dfrac {\vdash \texttt{Range}[\text{Operand}] : \texttt{R}} {\vdash \texttt{Range}[- \text{Operand}] : \texttt{R}} \]