Unipi.Nancy.Expressions.Equivalences

📄️ CheckType

Inheritance Object → ValueType → Enum → CheckType

Inheritance Object → Equivalence → ConvAdditionByAConstant

Inheritance Object → Equivalence → ConvAndSubadditiveClosure

Inheritance Object → Equivalence → ConvSubAdditiveAsSelfConvMinimum

Inheritance Object → Equivalence → ConvolutionDistributivityMin

Inheritance Object → Equivalence → ConvolutionSubAdditiveWithDominance

Inheritance Object → Equivalence → ConvolutionWithConcaveFunctions

Inheritance Object → Equivalence → DeconvAndSubAdditiveClosure

Equivalence defined in Prop. 2.8 in "Deterministic Network Calculus - From Theory to Practical Implementation",

Inheritance Object → Equivalence → DeconvDistributivityWithMin

Inheritance Object → Equivalence → DeconvolutionWeakCommutativity

Inheritance Object → Equivalence → DeconvolutionWithConvolution

The class allows to define equivalences involving NetCal expressions

Visitor class which translates a textual equivalence, written using the new grammar defined in the library, to a

Inheritance Object → Equivalence → IsomorphismConvLeft

Inheritance Object → Equivalence → IsomorphismConvRight

Lemma 4.12 PhD Thesis Zippo

Inheritance Object → Equivalence → PseudoInverseOfRightContinuous

Inheritance Object → Equivalence → SelfConvolutionSubAdditive

Inheritance Object → Equivalence → SelfDeconvolutionSubAdditive

Inheritance Object → Equivalence → SubAdditiveClosureOfMin

Inheritance Object → Equivalence → SubAdditiveClosureOfSubAdd