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

#include <LinearEquationSolverRequirements.h>

Public Types

enum class  Element { Acyclic , LowerBounds , UpperBounds }
 

Public Member Functions

 LinearEquationSolverRequirements ()
 
LinearEquationSolverRequirements & requireAcyclic (bool critical=true)
 
LinearEquationSolverRequirements & requireLowerBounds (bool critical=true)
 
LinearEquationSolverRequirements & requireUpperBounds (bool critical=true)
 
LinearEquationSolverRequirements & requireBounds (bool critical=true)
 
SolverRequirement const & acyclic () const
 
SolverRequirement const & lowerBounds () const
 
SolverRequirement const & upperBounds () const
 
SolverRequirement const & get (Element const &element) const
 
void clearAcyclic ()
 
void clearLowerBounds ()
 
void clearUpperBounds ()
 
bool hasEnabledRequirement () const
 
bool hasEnabledCriticalRequirement () const
 
std::string getEnabledRequirementsAsString () const
 Checks whether there are no critical requirements left.
 

Detailed Description

Definition at line 10 of file LinearEquationSolverRequirements.h.

Member Enumeration Documentation

◆ Element

enum class storm::solver::LinearEquationSolverRequirements::Element
strong
Enumerator
Acyclic 
LowerBounds 
UpperBounds 

Definition at line 13 of file LinearEquationSolverRequirements.h.

Constructor & Destructor Documentation

◆ LinearEquationSolverRequirements()

storm::solver::LinearEquationSolverRequirements::LinearEquationSolverRequirements ( )

Definition at line 9 of file LinearEquationSolverRequirements.cpp.

Member Function Documentation

◆ acyclic()

SolverRequirement const & storm::solver::LinearEquationSolverRequirements::acyclic ( ) const

Definition at line 34 of file LinearEquationSolverRequirements.cpp.

◆ clearAcyclic()

void storm::solver::LinearEquationSolverRequirements::clearAcyclic ( )

Definition at line 58 of file LinearEquationSolverRequirements.cpp.

◆ clearLowerBounds()

void storm::solver::LinearEquationSolverRequirements::clearLowerBounds ( )

Definition at line 62 of file LinearEquationSolverRequirements.cpp.

◆ clearUpperBounds()

void storm::solver::LinearEquationSolverRequirements::clearUpperBounds ( )

Definition at line 66 of file LinearEquationSolverRequirements.cpp.

◆ get()

SolverRequirement const & storm::solver::LinearEquationSolverRequirements::get ( Element const &  element) const

Definition at line 46 of file LinearEquationSolverRequirements.cpp.

◆ getEnabledRequirementsAsString()

std::string storm::solver::LinearEquationSolverRequirements::getEnabledRequirementsAsString ( ) const

Checks whether there are no critical requirements left.

In case there is a critical requirement left an exception is thrown.

Definition at line 78 of file LinearEquationSolverRequirements.cpp.

◆ hasEnabledCriticalRequirement()

bool storm::solver::LinearEquationSolverRequirements::hasEnabledCriticalRequirement ( ) const

Definition at line 74 of file LinearEquationSolverRequirements.cpp.

◆ hasEnabledRequirement()

bool storm::solver::LinearEquationSolverRequirements::hasEnabledRequirement ( ) const

Definition at line 70 of file LinearEquationSolverRequirements.cpp.

◆ lowerBounds()

SolverRequirement const & storm::solver::LinearEquationSolverRequirements::lowerBounds ( ) const

Definition at line 38 of file LinearEquationSolverRequirements.cpp.

◆ requireAcyclic()

LinearEquationSolverRequirements & storm::solver::LinearEquationSolverRequirements::requireAcyclic ( bool  critical = true)

Definition at line 13 of file LinearEquationSolverRequirements.cpp.

◆ requireBounds()

LinearEquationSolverRequirements & storm::solver::LinearEquationSolverRequirements::requireBounds ( bool  critical = true)

Definition at line 28 of file LinearEquationSolverRequirements.cpp.

◆ requireLowerBounds()

LinearEquationSolverRequirements & storm::solver::LinearEquationSolverRequirements::requireLowerBounds ( bool  critical = true)

Definition at line 18 of file LinearEquationSolverRequirements.cpp.

◆ requireUpperBounds()

LinearEquationSolverRequirements & storm::solver::LinearEquationSolverRequirements::requireUpperBounds ( bool  critical = true)

Definition at line 23 of file LinearEquationSolverRequirements.cpp.

◆ upperBounds()

SolverRequirement const & storm::solver::LinearEquationSolverRequirements::upperBounds ( ) const

Definition at line 42 of file LinearEquationSolverRequirements.cpp.

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