storm::transformer::PolynomialCache Struct Reference

#include <BigStep.h>

Inheritance diagram for storm::transformer::PolynomialCache:

Collaboration diagram for storm::transformer::PolynomialCache:

Public Member Functions
uint64_t	lookUpInCache (UniPoly const &f, RationalFunctionVariable const &p)
	Look up the index of this polynomial in the cache.
UniPoly	polynomialFromFactorization (std::vector< uint64_t > const &factorization, RationalFunctionVariable const &p) const
	Computes a univariate polynomial from a factorization.

Detailed Description

Definition at line 36 of file BigStep.h.

Member Function Documentation

lookUpInCache()

uint64_t storm::transformer::PolynomialCache::lookUpInCache	(	UniPoly const &	f,
		RationalFunctionVariable const &	p
	)

Look up the index of this polynomial in the cache.

If it doesn't exist, adds it to the cache.

Parameters

f	The polynomial.
p	The main parameter of the polynomial.

Returns

uint64_t The index of the polynomial.

Definition at line 67 of file BigStep.cpp.

polynomialFromFactorization()

UniPoly storm::transformer::PolynomialCache::polynomialFromFactorization	(	std::vector< uint64_t > const &	factorization,
		RationalFunctionVariable const &	p
	)		const

Computes a univariate polynomial from a factorization.

Parameters

factorization	The factorization (a vector of exponents, indices = position in cache).
p	The parameter.

Returns

UniPoly The univariate polynomial.

Definition at line 83 of file BigStep.cpp.

---

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

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