#include <TransitionReward.h>

Inheritance diagram for storm::prism::TransitionReward:

Collaboration diagram for storm::prism::TransitionReward:

Public Member Functions
	TransitionReward (uint_fast64_t actionIndex, std::string const &actionName, storm::expressions::Expression const &sourceStatePredicateExpression, storm::expressions::Expression const &targetStatePredicateExpression, storm::expressions::Expression const &rewardValueExpression, std::string const &filename="", uint_fast64_t lineNumber=0)
	Creates a transition reward for the transitions with the given name emanating from states satisfying the given expression with the value given by another expression.

	TransitionReward ()=default

	TransitionReward (TransitionReward const &other)=default

TransitionReward &	operator= (TransitionReward const &other)=default

	TransitionReward (TransitionReward &&other)=default

TransitionReward &	operator= (TransitionReward &&other)=default

std::string const &	getActionName () const
	Retrieves the action name that is associated with this transition reward.

uint_fast64_t	getActionIndex () const
	Retrieves the action index of the action associated with this transition reward (if any).

storm::expressions::Expression const &	getSourceStatePredicateExpression () const
	Retrieves the source state predicate expression that is associated with this state reward.

storm::expressions::Expression const &	getTargetStatePredicateExpression () const
	Retrieves the target state predicate expression that is associated with this state reward.

storm::expressions::Expression const &	getRewardValueExpression () const
	Retrieves the reward value expression associated with this state reward.

bool	isLabeled () const
	Retrieves whether the transition reward has an action label.

TransitionReward	substitute (std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
	Substitutes all identifiers in the transition reward according to the given map.

Public Member Functions inherited from storm::prism::LocatedInformation
	LocatedInformation (std::string const &filename, uint_fast64_t lineNumber)
	Constructs a located information with the given filename and line number.

	LocatedInformation ()=default

	LocatedInformation (LocatedInformation const &other)=default

LocatedInformation &	operator= (LocatedInformation const &other)=default

	LocatedInformation (LocatedInformation &&other)=default

LocatedInformation &	operator= (LocatedInformation &&other)=default

std::string const &	getFilename () const
	Retrieves the name of the file in which the information was found.

void	setFilename (std::string const &filename)
	Sets the filename of this information.

uint_fast64_t	getLineNumber () const
	Retrieves the line number in which the information was found.

void	setLineNumber (uint_fast64_t lineNumber)
	Sets the line number of this information.

Friends
std::ostream &	operator<< (std::ostream &stream, TransitionReward const &transitionReward)

Detailed Description

Definition at line 20 of file TransitionReward.h.

Constructor & Destructor Documentation

◆ TransitionReward() [1/4]

storm::prism::TransitionReward::TransitionReward	(	uint_fast64_t	actionIndex,
		std::string const &	actionName,
		storm::expressions::Expression const &	sourceStatePredicateExpression,
		storm::expressions::Expression const &	targetStatePredicateExpression,
		storm::expressions::Expression const &	rewardValueExpression,
		std::string const &	filename = `""`,
		uint_fast64_t	lineNumber = `0`
	)

Creates a transition reward for the transitions with the given name emanating from states satisfying the given expression with the value given by another expression.

Parameters

actionIndex	The index of the action.
actionName	The name of the command that obtains this reward.
sourceStatePredicateExpression	The predicate that needs to hold before taking a transition with the previously specified name in order to obtain the reward.
targetStatePredicateExpression	The predicate that needs to hold after taking a transition with the previously specified name in order to obtain the reward.
rewardValueExpression	An expression specifying the values of the rewards to attach to the transitions.
filename	The filename in which the transition reward is defined.
lineNumber	The line number in which the transition reward is defined.

Definition at line 6 of file TransitionReward.cpp.

◆ TransitionReward() [2/4]

storm::prism::TransitionReward::TransitionReward ( )

default

◆ TransitionReward() [3/4]

storm::prism::TransitionReward::TransitionReward ( TransitionReward const & other )

default

◆ TransitionReward() [4/4]

storm::prism::TransitionReward::TransitionReward ( TransitionReward && other )

default

Member Function Documentation

◆ getActionIndex()

uint_fast64_t storm::prism::TransitionReward::getActionIndex ( ) const

Retrieves the action index of the action associated with this transition reward (if any).

Returns: The action index of the transition reward.

Definition at line 24 of file TransitionReward.cpp.

◆ getActionName()

std::string const & storm::prism::TransitionReward::getActionName ( ) const

Retrieves the action name that is associated with this transition reward.

Returns: The action name that is associated with this transition reward.

Definition at line 20 of file TransitionReward.cpp.

◆ getRewardValueExpression()

storm::expressions::Expression const & storm::prism::TransitionReward::getRewardValueExpression ( ) const

Retrieves the reward value expression associated with this state reward.

Returns: The reward value expression associated with this state reward.

Definition at line 36 of file TransitionReward.cpp.

◆ getSourceStatePredicateExpression()

storm::expressions::Expression const & storm::prism::TransitionReward::getSourceStatePredicateExpression ( ) const

Retrieves the source state predicate expression that is associated with this state reward.

Returns: The source state predicate expression that is associated with this state reward.

Definition at line 28 of file TransitionReward.cpp.

◆ getTargetStatePredicateExpression()

storm::expressions::Expression const & storm::prism::TransitionReward::getTargetStatePredicateExpression ( ) const

Retrieves the target state predicate expression that is associated with this state reward.

Returns: The target state predicate expression that is associated with this state reward.

Definition at line 32 of file TransitionReward.cpp.

◆ isLabeled()

bool storm::prism::TransitionReward::isLabeled ( ) const

Retrieves whether the transition reward has an action label.

Returns: True iff the transition reward has an action label.

Definition at line 40 of file TransitionReward.cpp.

◆ operator=() [1/2]

TransitionReward & storm::prism::TransitionReward::operator= ( TransitionReward && other )

default

◆ operator=() [2/2]

TransitionReward & storm::prism::TransitionReward::operator= ( TransitionReward const & other )

default

◆ substitute()

TransitionReward storm::prism::TransitionReward::substitute ( std::map< storm::expressions::Variable, storm::expressions::Expression > const & substitution ) const

Substitutes all identifiers in the transition reward according to the given map.

Parameters

substitution The substitution to perform.

Returns: The resulting transition reward.

Definition at line 44 of file TransitionReward.cpp.

Friends And Related Symbol Documentation

◆ operator<<

std::ostream & operator<<	(	std::ostream &	stream,
		TransitionReward const &	transitionReward
	)

friend

Definition at line 50 of file TransitionReward.cpp.

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

src/storm/storage/prism/TransitionReward.h
src/storm/storage/prism/TransitionReward.cpp

Public Member Functions

Friends

Detailed Description

Constructor & Destructor Documentation

◆ TransitionReward() [1/4]

◆ TransitionReward() [2/4]

◆ TransitionReward() [3/4]

◆ TransitionReward() [4/4]

Member Function Documentation

◆ getActionIndex()

◆ getActionName()

◆ getRewardValueExpression()

◆ getSourceStatePredicateExpression()

◆ getTargetStatePredicateExpression()

◆ isLabeled()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ substitute()

Friends And Related Symbol Documentation

◆ operator<<