template<class Operand>
Rodin::Variational::UnaryMinus class

Represent the negation of an operand.

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}} \]