Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::TopologicalSolverEnvironment Class Reference

#include <TopologicalSolverEnvironment.h>

Public Member Functions

 TopologicalSolverEnvironment ()
 
 ~TopologicalSolverEnvironment ()
 
storm::solver::EquationSolverType const & getUnderlyingEquationSolverType () const
 
bool const & isUnderlyingEquationSolverTypeSetFromDefault () const
 
void setUnderlyingEquationSolverType (storm::solver::EquationSolverType value)
 
storm::solver::MinMaxMethod const & getUnderlyingMinMaxMethod () const
 
bool const & isUnderlyingMinMaxMethodSetFromDefault () const
 
void setUnderlyingMinMaxMethod (storm::solver::MinMaxMethod value)
 
bool isExtendRelevantValues () const
 
void setExtendRelevantValues (bool value)
 

Detailed Description

Definition at line 9 of file TopologicalSolverEnvironment.h.

Constructor & Destructor Documentation

◆ TopologicalSolverEnvironment()

storm::TopologicalSolverEnvironment::TopologicalSolverEnvironment ( )

Definition at line 11 of file TopologicalSolverEnvironment.cpp.

◆ ~TopologicalSolverEnvironment()

storm::TopologicalSolverEnvironment::~TopologicalSolverEnvironment ( )

Definition at line 21 of file TopologicalSolverEnvironment.cpp.

Member Function Documentation

◆ getUnderlyingEquationSolverType()

storm::solver::EquationSolverType const & storm::TopologicalSolverEnvironment::getUnderlyingEquationSolverType ( ) const

Definition at line 25 of file TopologicalSolverEnvironment.cpp.

◆ getUnderlyingMinMaxMethod()

storm::solver::MinMaxMethod const & storm::TopologicalSolverEnvironment::getUnderlyingMinMaxMethod ( ) const

Definition at line 40 of file TopologicalSolverEnvironment.cpp.

◆ isExtendRelevantValues()

bool storm::TopologicalSolverEnvironment::isExtendRelevantValues ( ) const

Definition at line 55 of file TopologicalSolverEnvironment.cpp.

◆ isUnderlyingEquationSolverTypeSetFromDefault()

bool const & storm::TopologicalSolverEnvironment::isUnderlyingEquationSolverTypeSetFromDefault ( ) const

Definition at line 29 of file TopologicalSolverEnvironment.cpp.

◆ isUnderlyingMinMaxMethodSetFromDefault()

bool const & storm::TopologicalSolverEnvironment::isUnderlyingMinMaxMethodSetFromDefault ( ) const

Definition at line 44 of file TopologicalSolverEnvironment.cpp.

◆ setExtendRelevantValues()

void storm::TopologicalSolverEnvironment::setExtendRelevantValues ( bool  value)

Definition at line 59 of file TopologicalSolverEnvironment.cpp.

◆ setUnderlyingEquationSolverType()

void storm::TopologicalSolverEnvironment::setUnderlyingEquationSolverType ( storm::solver::EquationSolverType  value)

Definition at line 33 of file TopologicalSolverEnvironment.cpp.

◆ setUnderlyingMinMaxMethod()

void storm::TopologicalSolverEnvironment::setUnderlyingMinMaxMethod ( storm::solver::MinMaxMethod  value)

Definition at line 48 of file TopologicalSolverEnvironment.cpp.

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