storm::transformer::Annotation Class Reference

#include <BigStep.h>

Inheritance diagram for storm::transformer::Annotation:

Collaboration diagram for storm::transformer::Annotation:

Public Member Functions
	Annotation (RationalFunctionVariable parameter, std::shared_ptr< PolynomialCache > polynomialCache)
void	operator+= (const Annotation other)
	Add another annotation to this annotation.
void	operator*= (RationalFunctionCoefficient n)
	Multiply this annotation with a rational number.
Annotation	operator* (RationalFunctionCoefficient n) const
	Multiply this annotation with a rational number to get a new annotation.
void	addAnnotationTimesConstant (Annotation const &other, RationalFunctionCoefficient timesConstant)
	Adds another annotation times a constant to this annotation.
void	addAnnotationTimesPolynomial (Annotation const &other, UniPoly &&polynomial)
	Adds another annotation times a polynomial to this annotation.
void	addAnnotationTimesAnnotation (Annotation const &anno1, Annotation const &anno2)
	Adds another annotation times an annotation to this annotation.
UniPoly	getProbability () const
	Get the probability of this annotation as a univariate polynomial (which isn't factorized).
std::vector< UniPoly >	getTerms () const
	Get all of the terms of the UniPoly.
template<typename ConstantType>
ConstantType	evaluate (ConstantType input) const
Interval	evaluateOnIntervalMidpointTheorem (Interval input, bool higherOrderBounds=false) const
RationalFunctionVariable	getParameter () const
void	computeDerivative (uint64_t nth)
uint64_t	maxDegree () const
std::shared_ptr< Annotation >	derivative ()

Friends
std::ostream &	operator<< (std::ostream &os, const Annotation &annotation)

Detailed Description

Definition at line 63 of file BigStep.h.

Constructor & Destructor Documentation

Annotation()

storm::transformer::Annotation::Annotation	(	RationalFunctionVariable	parameter,
		std::shared_ptr< PolynomialCache >	polynomialCache )

Definition at line 88 of file BigStep.cpp.

Member Function Documentation

addAnnotationTimesAnnotation()

void storm::transformer::Annotation::addAnnotationTimesAnnotation	(	Annotation const &	anno1,
		Annotation const &	anno2 )

Adds another annotation times an annotation to this annotation.

Parameters

anno1	The first annotation.
anno2	The second annotation.

Definition at line 145 of file BigStep.cpp.

addAnnotationTimesConstant()

void storm::transformer::Annotation::addAnnotationTimesConstant	(	Annotation const &	other,
		RationalFunctionCoefficient	timesConstant )

Adds another annotation times a constant to this annotation.

Parameters

other	The other annotation.
timesConstant	The constant.

Definition at line 116 of file BigStep.cpp.

addAnnotationTimesPolynomial()

void storm::transformer::Annotation::addAnnotationTimesPolynomial	(	Annotation const &	other,
		UniPoly &&	polynomial )

Adds another annotation times a polynomial to this annotation.

Parameters

other	The other annotation.
polynomial	The polynomial.

Definition at line 125 of file BigStep.cpp.

computeDerivative()

void storm::transformer::Annotation::computeDerivative

(

uint64_t

nth

)

Definition at line 206 of file BigStep.cpp.

derivative()

std::shared_ptr< Annotation > storm::transformer::Annotation::derivative

(

)

Definition at line 258 of file BigStep.cpp.

evaluate()

template<typename ConstantType>

ConstantType storm::transformer::Annotation::evaluate ( ConstantType input ) const

inline

Definition at line 127 of file BigStep.h.

evaluateOnIntervalMidpointTheorem()

Interval storm::transformer::Annotation::evaluateOnIntervalMidpointTheorem	(	Interval	input,
		bool	higherOrderBounds = false ) const

Definition at line 184 of file BigStep.cpp.

getParameter()

RationalFunctionVariable storm::transformer::Annotation::getParameter

(

)

const

Definition at line 202 of file BigStep.cpp.

getProbability()

UniPoly storm::transformer::Annotation::getProbability

(

)

const

Get the probability of this annotation as a univariate polynomial (which isn't factorized).

Returns

UniPoly The probability.

Definition at line 168 of file BigStep.cpp.

getTerms()

std::vector< UniPoly > storm::transformer::Annotation::getTerms

(

)

const

Get all of the terms of the UniPoly.

Returns

std::vector<UniPoly> The terms.

Definition at line 176 of file BigStep.cpp.

maxDegree()

uint64_t storm::transformer::Annotation::maxDegree

(

)

const

Definition at line 248 of file BigStep.cpp.

operator*()

Annotation storm::transformer::Annotation::operator*

(

RationalFunctionCoefficient

n

)

const

Multiply this annotation with a rational number to get a new annotation.

Parameters

n	The rational number.

Definition at line 110 of file BigStep.cpp.

operator*=()

void storm::transformer::Annotation::operator*=

(

RationalFunctionCoefficient

n

)

Multiply this annotation with a rational number.

Parameters

n	The rational number.

Definition at line 104 of file BigStep.cpp.

operator+=()

void storm::transformer::Annotation::operator+=

(

const Annotation

other

)

Add another annotation to this annotation.

Parameters

other

The other annotation.

Definition at line 93 of file BigStep.cpp.

Friends And Related Symbol Documentation

operator<<

std::ostream & operator<< ( std::ostream & os, const Annotation & annotation )

friend

Definition at line 264 of file BigStep.cpp.

---

The documentation for this class was generated from the following files:

• src/storm-pars/transformer/BigStep.h
• src/storm-pars/transformer/BigStep.cpp