storm::EliminationSolverEnvironment Class Reference

#include <EliminationSolverEnvironment.h>

Public Member Functions
	EliminationSolverEnvironment ()
	~EliminationSolverEnvironment ()
storm::solver::stateelimination::EliminationOrder const &	getOrder () const
void	setOrder (storm::solver::stateelimination::EliminationOrder value)
storm::solver::stateelimination::EliminationMethod const &	getMethod () const
void	setMethod (storm::solver::stateelimination::EliminationMethod value)
uint64_t const &	getMaximalSccSize () const
void	setMaximalSccSize (uint64_t value)
bool const &	isEliminateEntryStatesLastSet () const
void	setEliminateEntryStatesLast (bool value)

Detailed Description

Definition at line 9 of file EliminationSolverEnvironment.h.

Constructor & Destructor Documentation

EliminationSolverEnvironment()

storm::EliminationSolverEnvironment::EliminationSolverEnvironment

(

)

Definition at line 8 of file EliminationSolverEnvironment.cpp.

~EliminationSolverEnvironment()

storm::EliminationSolverEnvironment::~EliminationSolverEnvironment

(

)

Definition at line 17 of file EliminationSolverEnvironment.cpp.

Member Function Documentation

getMaximalSccSize()

uint64_t const & storm::EliminationSolverEnvironment::getMaximalSccSize

(

)

const

Definition at line 37 of file EliminationSolverEnvironment.cpp.

getMethod()

storm::solver::stateelimination::EliminationMethod const & storm::EliminationSolverEnvironment::getMethod

(

)

const

Definition at line 29 of file EliminationSolverEnvironment.cpp.

getOrder()

storm::solver::stateelimination::EliminationOrder const & storm::EliminationSolverEnvironment::getOrder

(

)

const

Definition at line 21 of file EliminationSolverEnvironment.cpp.

isEliminateEntryStatesLastSet()

bool const & storm::EliminationSolverEnvironment::isEliminateEntryStatesLastSet

(

)

const

Definition at line 45 of file EliminationSolverEnvironment.cpp.

setEliminateEntryStatesLast()

void storm::EliminationSolverEnvironment::setEliminateEntryStatesLast

(

bool

value

)

Definition at line 49 of file EliminationSolverEnvironment.cpp.

setMaximalSccSize()

void storm::EliminationSolverEnvironment::setMaximalSccSize

(

uint64_t

value

)

Definition at line 41 of file EliminationSolverEnvironment.cpp.

setMethod()

void storm::EliminationSolverEnvironment::setMethod

(

storm::solver::stateelimination::EliminationMethod

value

)

Definition at line 33 of file EliminationSolverEnvironment.cpp.

setOrder()

void storm::EliminationSolverEnvironment::setOrder

(

storm::solver::stateelimination::EliminationOrder

value

)

Definition at line 25 of file EliminationSolverEnvironment.cpp.

---

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

• src/storm/environment/solver/EliminationSolverEnvironment.h
• src/storm/environment/solver/EliminationSolverEnvironment.cpp