Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::transformer::Annotation Member List

This is the complete list of members for storm::transformer::Annotation, including all inherited members.

addAnnotationTimesAnnotation(Annotation const &anno1, Annotation const &anno2)storm::transformer::Annotation
addAnnotationTimesConstant(Annotation const &other, RationalFunctionCoefficient timesConstant)storm::transformer::Annotation
addAnnotationTimesPolynomial(Annotation const &other, UniPoly &&polynomial)storm::transformer::Annotation
Annotation(RationalFunctionVariable parameter, std::shared_ptr< PolynomialCache > polynomialCache)storm::transformer::Annotation
computeDerivative(uint64_t nth)storm::transformer::Annotation
derivative()storm::transformer::Annotation
evaluate(ConstantType input) conststorm::transformer::Annotationinline
evaluateOnIntervalMidpointTheorem(Interval input, bool higherOrderBounds=false) conststorm::transformer::Annotation
getParameter() conststorm::transformer::Annotation
getProbability() conststorm::transformer::Annotation
getTerms() conststorm::transformer::Annotation
maxDegree() conststorm::transformer::Annotation
operator*(RationalFunctionCoefficient n) conststorm::transformer::Annotation
operator*=(RationalFunctionCoefficient n)storm::transformer::Annotation
operator+=(const Annotation other)storm::transformer::Annotation
operator<<storm::transformer::Annotationfriend