storm::solver::SolverRequirement Class Reference

#include <SolverRequirement.h>

Public Member Functions
	SolverRequirement ()
	operator bool () const
	Returns true if this is a requirement of the considered solver.
void	enable (bool critical=true)
	Enables this requirement.
void	clear ()
	Clears this requirement.
bool	isCritical () const
	Returns true if the solver fails in case this requirement is not met.

Detailed Description

Definition at line 6 of file SolverRequirement.h.

Constructor & Destructor Documentation

SolverRequirement()

storm::solver::SolverRequirement::SolverRequirement

(

)

Definition at line 9 of file SolverRequirement.cpp.

Member Function Documentation

clear()

void storm::solver::SolverRequirement::clear

(

)

Clears this requirement.

Definition at line 22 of file SolverRequirement.cpp.

enable()

void storm::solver::SolverRequirement::enable

(

bool

critical = true

)

Enables this requirement.

Parameters

critical

if set, it is assumed that the solver will fail in case this requirement is not met

Definition at line 17 of file SolverRequirement.cpp.

isCritical()

bool storm::solver::SolverRequirement::isCritical

(

)

const

Returns true if the solver fails in case this requirement is not met.

Definition at line 27 of file SolverRequirement.cpp.

operator bool()

storm::solver::SolverRequirement::operator bool

(

)

const

Returns true if this is a requirement of the considered solver.

Definition at line 13 of file SolverRequirement.cpp.

---

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

• src/storm/solver/SolverRequirement.h
• src/storm/solver/SolverRequirement.cpp