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

#include <MultiplierEnvironment.h>

Public Member Functions

 MultiplierEnvironment ()
 
 ~MultiplierEnvironment ()
 
storm::solver::MultiplierType const & getType () const
 
bool const & isTypeSetFromDefault () const
 
void setType (storm::solver::MultiplierType value, bool isSetFromDefault=false)
 

Detailed Description

Definition at line 8 of file MultiplierEnvironment.h.

Constructor & Destructor Documentation

◆ MultiplierEnvironment()

storm::MultiplierEnvironment::MultiplierEnvironment ( )

Definition at line 10 of file MultiplierEnvironment.cpp.

◆ ~MultiplierEnvironment()

storm::MultiplierEnvironment::~MultiplierEnvironment ( )

Definition at line 16 of file MultiplierEnvironment.cpp.

Member Function Documentation

◆ getType()

storm::solver::MultiplierType const & storm::MultiplierEnvironment::getType ( ) const

Definition at line 20 of file MultiplierEnvironment.cpp.

◆ isTypeSetFromDefault()

bool const & storm::MultiplierEnvironment::isTypeSetFromDefault ( ) const

Definition at line 24 of file MultiplierEnvironment.cpp.

◆ setType()

void storm::MultiplierEnvironment::setType ( storm::solver::MultiplierType  value,
bool  isSetFromDefault = false 
)

Definition at line 28 of file MultiplierEnvironment.cpp.

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