Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
storm::solver::SymbolicEquationSolver< DdType, ValueType > Class Template Reference

#include <SymbolicEquationSolver.h>

Inheritance diagram for storm::solver::SymbolicEquationSolver< DdType, ValueType >:
Inheritance graph
[legend]
Collaboration diagram for storm::solver::SymbolicEquationSolver< DdType, ValueType >:
Collaboration graph
[legend]

Public Member Functions

 SymbolicEquationSolver ()=default
 
 SymbolicEquationSolver (storm::dd::Bdd< DdType > const &allRows)
 
virtual ~SymbolicEquationSolver ()=default
 
virtual void setLowerBounds (storm::dd::Add< DdType, ValueType > const &lowerBounds)
 
virtual void setLowerBound (ValueType const &lowerBound)
 
virtual void setUpperBounds (storm::dd::Add< DdType, ValueType > const &upperBounds)
 
virtual void setUpperBound (ValueType const &lowerBound)
 
virtual void setBounds (ValueType const &lowerBound, ValueType const &upperBound)
 
virtual void setBounds (storm::dd::Add< DdType, ValueType > const &lowerBounds, storm::dd::Add< DdType, ValueType > const &upperBounds)
 
bool hasLowerBound () const
 
ValueType const & getLowerBound () const
 
bool hasLowerBounds () const
 
storm::dd::Add< DdType, ValueType > const & getLowerBounds () const
 
bool hasUpperBound () const
 
ValueType const & getUpperBound () const
 
bool hasUpperBounds () const
 
storm::dd::Add< DdType, ValueType > const & getUpperBounds () const
 
storm::dd::Add< DdType, ValueType > getLowerBoundsVector () const
 Retrieves a vector of lower bounds for all values (if any lower bounds are known).
 
storm::dd::Add< DdType, ValueType > getUpperBoundsVector () const
 Retrieves a vector of upper bounds for all values (if any lower bounds are known).
 

Protected Member Functions

storm::dd::DdManager< DdType > & getDdManager () const
 
void setAllRows (storm::dd::Bdd< DdType > const &allRows)
 
storm::dd::Bdd< DdType > const & getAllRows () const
 

Protected Attributes

storm::dd::Bdd< DdType > allRows
 

Detailed Description

template<storm::dd::DdType DdType, typename ValueType = double>
class storm::solver::SymbolicEquationSolver< DdType, ValueType >

Definition at line 12 of file SymbolicEquationSolver.h.

Constructor & Destructor Documentation

◆ SymbolicEquationSolver() [1/2]

template<storm::dd::DdType DdType, typename ValueType = double>
storm::solver::SymbolicEquationSolver< DdType, ValueType >::SymbolicEquationSolver ( )
default

◆ SymbolicEquationSolver() [2/2]

template<storm::dd::DdType DdType, typename ValueType >
storm::solver::SymbolicEquationSolver< DdType, ValueType >::SymbolicEquationSolver ( storm::dd::Bdd< DdType > const &  allRows)

Definition at line 13 of file SymbolicEquationSolver.cpp.

◆ ~SymbolicEquationSolver()

template<storm::dd::DdType DdType, typename ValueType = double>
virtual storm::solver::SymbolicEquationSolver< DdType, ValueType >::~SymbolicEquationSolver ( )
virtualdefault

Member Function Documentation

◆ getAllRows()

template<storm::dd::DdType DdType, typename ValueType >
storm::dd::Bdd< DdType > const & storm::solver::SymbolicEquationSolver< DdType, ValueType >::getAllRows ( ) const
protected

Definition at line 28 of file SymbolicEquationSolver.cpp.

◆ getDdManager()

template<storm::dd::DdType DdType, typename ValueType >
storm::dd::DdManager< DdType > & storm::solver::SymbolicEquationSolver< DdType, ValueType >::getDdManager ( ) const
protected

Definition at line 18 of file SymbolicEquationSolver.cpp.

◆ getLowerBound()

template<storm::dd::DdType DdType, typename ValueType >
ValueType const & storm::solver::SymbolicEquationSolver< DdType, ValueType >::getLowerBound ( ) const

Definition at line 71 of file SymbolicEquationSolver.cpp.

◆ getLowerBounds()

template<storm::dd::DdType DdType, typename ValueType >
storm::dd::Add< DdType, ValueType > const & storm::solver::SymbolicEquationSolver< DdType, ValueType >::getLowerBounds ( ) const

Definition at line 81 of file SymbolicEquationSolver.cpp.

◆ getLowerBoundsVector()

template<storm::dd::DdType DdType, typename ValueType >
storm::dd::Add< DdType, ValueType > storm::solver::SymbolicEquationSolver< DdType, ValueType >::getLowerBoundsVector ( ) const

Retrieves a vector of lower bounds for all values (if any lower bounds are known).

Definition at line 106 of file SymbolicEquationSolver.cpp.

◆ getUpperBound()

template<storm::dd::DdType DdType, typename ValueType >
ValueType const & storm::solver::SymbolicEquationSolver< DdType, ValueType >::getUpperBound ( ) const

Definition at line 91 of file SymbolicEquationSolver.cpp.

◆ getUpperBounds()

template<storm::dd::DdType DdType, typename ValueType >
storm::dd::Add< DdType, ValueType > const & storm::solver::SymbolicEquationSolver< DdType, ValueType >::getUpperBounds ( ) const

Definition at line 101 of file SymbolicEquationSolver.cpp.

◆ getUpperBoundsVector()

template<storm::dd::DdType DdType, typename ValueType >
storm::dd::Add< DdType, ValueType > storm::solver::SymbolicEquationSolver< DdType, ValueType >::getUpperBoundsVector ( ) const

Retrieves a vector of upper bounds for all values (if any lower bounds are known).

Definition at line 116 of file SymbolicEquationSolver.cpp.

◆ hasLowerBound()

template<storm::dd::DdType DdType, typename ValueType >
bool storm::solver::SymbolicEquationSolver< DdType, ValueType >::hasLowerBound ( ) const

Definition at line 66 of file SymbolicEquationSolver.cpp.

◆ hasLowerBounds()

template<storm::dd::DdType DdType, typename ValueType >
bool storm::solver::SymbolicEquationSolver< DdType, ValueType >::hasLowerBounds ( ) const

Definition at line 76 of file SymbolicEquationSolver.cpp.

◆ hasUpperBound()

template<storm::dd::DdType DdType, typename ValueType >
bool storm::solver::SymbolicEquationSolver< DdType, ValueType >::hasUpperBound ( ) const

Definition at line 86 of file SymbolicEquationSolver.cpp.

◆ hasUpperBounds()

template<storm::dd::DdType DdType, typename ValueType >
bool storm::solver::SymbolicEquationSolver< DdType, ValueType >::hasUpperBounds ( ) const

Definition at line 96 of file SymbolicEquationSolver.cpp.

◆ setAllRows()

template<storm::dd::DdType DdType, typename ValueType >
void storm::solver::SymbolicEquationSolver< DdType, ValueType >::setAllRows ( storm::dd::Bdd< DdType > const &  allRows)
protected

Definition at line 23 of file SymbolicEquationSolver.cpp.

◆ setBounds() [1/2]

template<storm::dd::DdType DdType, typename ValueType >
void storm::solver::SymbolicEquationSolver< DdType, ValueType >::setBounds ( storm::dd::Add< DdType, ValueType > const &  lowerBounds,
storm::dd::Add< DdType, ValueType > const &  upperBounds 
)
virtual

Definition at line 59 of file SymbolicEquationSolver.cpp.

◆ setBounds() [2/2]

template<storm::dd::DdType DdType, typename ValueType >
void storm::solver::SymbolicEquationSolver< DdType, ValueType >::setBounds ( ValueType const &  lowerBound,
ValueType const &  upperBound 
)
virtual

Definition at line 53 of file SymbolicEquationSolver.cpp.

◆ setLowerBound()

template<storm::dd::DdType DdType, typename ValueType >
void storm::solver::SymbolicEquationSolver< DdType, ValueType >::setLowerBound ( ValueType const &  lowerBound)
virtual

Definition at line 38 of file SymbolicEquationSolver.cpp.

◆ setLowerBounds()

template<storm::dd::DdType DdType, typename ValueType >
void storm::solver::SymbolicEquationSolver< DdType, ValueType >::setLowerBounds ( storm::dd::Add< DdType, ValueType > const &  lowerBounds)
virtual

Definition at line 33 of file SymbolicEquationSolver.cpp.

◆ setUpperBound()

template<storm::dd::DdType DdType, typename ValueType >
void storm::solver::SymbolicEquationSolver< DdType, ValueType >::setUpperBound ( ValueType const &  lowerBound)
virtual

Definition at line 48 of file SymbolicEquationSolver.cpp.

◆ setUpperBounds()

template<storm::dd::DdType DdType, typename ValueType >
void storm::solver::SymbolicEquationSolver< DdType, ValueType >::setUpperBounds ( storm::dd::Add< DdType, ValueType > const &  upperBounds)
virtual

Definition at line 43 of file SymbolicEquationSolver.cpp.

Member Data Documentation

◆ allRows

template<storm::dd::DdType DdType, typename ValueType = double>
storm::dd::Bdd<DdType> storm::solver::SymbolicEquationSolver< DdType, ValueType >::allRows
protected

Definition at line 51 of file SymbolicEquationSolver.h.

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