#include <TerminalStatesGetter.h>

Public Member Functions
void	clear ()
	Clears all terminal states.

bool	empty () const
	True if no terminal states are specified.

storm::expressions::Expression	asExpression (std::function< storm::expressions::Expression(std::string const &)> const &labelToExpressionMap) const
	Returns an expression that evaluates to true only if the exploration can stop at the corresponding state Should only be called if this is not empty.

Public Attributes
std::vector< storm::expressions::Expression >	terminalExpressions

std::vector< storm::expressions::Expression >	negatedTerminalExpressions

std::vector< std::string >	terminalLabels

std::vector< std::string >	negatedTerminalLabels

Detailed Description

Definition at line 31 of file TerminalStatesGetter.h.

Member Function Documentation

◆ asExpression()

storm::expressions::Expression storm::builder::TerminalStates::asExpression ( std::function< storm::expressions::Expression(std::string const &)> const & labelToExpressionMap ) const

Returns an expression that evaluates to true only if the exploration can stop at the corresponding state Should only be called if this is not empty.

Definition at line 79 of file TerminalStatesGetter.cpp.

◆ clear()

void storm::builder::TerminalStates::clear ( )

Clears all terminal states.

After calling this, empty() holds.

Definition at line 68 of file TerminalStatesGetter.cpp.

◆ empty()

bool storm::builder::TerminalStates::empty ( ) const

True if no terminal states are specified.

Definition at line 75 of file TerminalStatesGetter.cpp.

Member Data Documentation

◆ negatedTerminalExpressions

std::vector<storm::expressions::Expression> storm::builder::TerminalStates::negatedTerminalExpressions

Definition at line 33 of file TerminalStatesGetter.h.

◆ negatedTerminalLabels

std::vector<std::string> storm::builder::TerminalStates::negatedTerminalLabels

Definition at line 35 of file TerminalStatesGetter.h.

◆ terminalExpressions

std::vector<storm::expressions::Expression> storm::builder::TerminalStates::terminalExpressions

Definition at line 32 of file TerminalStatesGetter.h.

◆ terminalLabels

std::vector<std::string> storm::builder::TerminalStates::terminalLabels

Definition at line 34 of file TerminalStatesGetter.h.

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

src/storm/builder/TerminalStatesGetter.h
src/storm/builder/TerminalStatesGetter.cpp

Public Member Functions

Public Attributes