#include <RewardModelInformation.h>

Inheritance diagram for storm::jani::RewardModelInformation:

Collaboration diagram for storm::jani::RewardModelInformation:

Public Member Functions
	RewardModelInformation (bool hasStateRewards, bool hasActionRewards, bool hasTransitionRewards)

	RewardModelInformation (storm::jani::Model const &janiModel, std::string const &rewardModelNameIdentifier)

	RewardModelInformation (storm::jani::Model const &janiModel, storm::expressions::Expression const &rewardModelExpression)

virtual	~RewardModelInformation ()=default

virtual void	traverse (Location const &location, boost::any const &data) override

virtual void	traverse (TemplateEdge const &templateEdge, boost::any const &data) override

virtual void	traverse (TemplateEdgeDestination const &TemplateEdgeDestination, boost::any const &data) override

RewardModelInformation	join (RewardModelInformation const &other) const
	Returns the resulting information when joining the two reward models.

bool	hasStateRewards () const
	Returns true iff the given reward model has state rewards.

bool	hasActionRewards () const
	Returns true iff the given reward model has action rewards.

bool	hasTransitionRewards () const
	Returns true iff the given reward model has transition rewards.

virtual void	traverse (Model const &model, boost::any const &data)

virtual void	traverse (Action const &action, boost::any const &data)

virtual void	traverse (Automaton const &automaton, boost::any const &data)

virtual void	traverse (Constant const &constant, boost::any const &data)

virtual void	traverse (FunctionDefinition const &functionDefinition, boost::any const &data)

virtual void	traverse (VariableSet const &variableSet, boost::any const &data)

virtual void	traverse (Location const &location, boost::any const &data)

virtual void	traverse (Variable const &variable, boost::any const &data)

virtual void	traverse (JaniType const &type, boost::any const &data)

virtual void	traverse (EdgeContainer const &edgeContainer, boost::any const &data)

virtual void	traverse (TemplateEdge const &templateEdge, boost::any const &data)

virtual void	traverse (TemplateEdgeDestination const &templateEdgeDestination, boost::any const &data)

virtual void	traverse (Edge const &edge, boost::any const &data)

virtual void	traverse (EdgeDestination const &edgeDestination, boost::any const &data)

virtual void	traverse (OrderedAssignments const &orderedAssignments, boost::any const &data)

virtual void	traverse (Assignment const &assignment, boost::any const &data)

virtual void	traverse (LValue const &lValue, boost::any const &data)

virtual void	traverse (storm::expressions::Expression const &expression, boost::any const &data)

Public Member Functions inherited from storm::jani::ConstJaniTraverser
virtual	~ConstJaniTraverser ()=default

Public Attributes
bool	stateRewards

bool	actionRewards

bool	transitionRewards

Detailed Description

Definition at line 18 of file RewardModelInformation.h.

Constructor & Destructor Documentation

◆ RewardModelInformation() [1/3]

storm::jani::RewardModelInformation::RewardModelInformation	(	bool	hasStateRewards,
		bool	hasActionRewards,
		bool	hasTransitionRewards
	)

Definition at line 12 of file RewardModelInformation.cpp.

◆ RewardModelInformation() [2/3]

storm::jani::RewardModelInformation::RewardModelInformation	(	storm::jani::Model const &	janiModel,
		std::string const &	rewardModelNameIdentifier
	)

Definition at line 17 of file RewardModelInformation.cpp.

◆ RewardModelInformation() [3/3]

storm::jani::RewardModelInformation::RewardModelInformation	(	storm::jani::Model const &	janiModel,
		storm::expressions::Expression const &	rewardModelExpression
	)

Definition at line 22 of file RewardModelInformation.cpp.

◆ ~RewardModelInformation()

virtual storm::jani::RewardModelInformation::~RewardModelInformation ( )

virtualdefault

Member Function Documentation

◆ hasActionRewards()

bool storm::jani::RewardModelInformation::hasActionRewards ( ) const

Returns true iff the given reward model has action rewards.

Definition at line 104 of file RewardModelInformation.cpp.

◆ hasStateRewards()

bool storm::jani::RewardModelInformation::hasStateRewards ( ) const

Returns true iff the given reward model has state rewards.

Definition at line 100 of file RewardModelInformation.cpp.

◆ hasTransitionRewards()

bool storm::jani::RewardModelInformation::hasTransitionRewards ( ) const

Returns true iff the given reward model has transition rewards.

Definition at line 108 of file RewardModelInformation.cpp.

◆ join()

RewardModelInformation storm::jani::RewardModelInformation::join ( RewardModelInformation const & other ) const

Returns the resulting information when joining the two reward models.

Definition at line 95 of file RewardModelInformation.cpp.

◆ traverse() [1/21]

void storm::jani::ConstJaniTraverser::traverse	(	Action const &	action,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 40 of file JaniTraverser.cpp.

◆ traverse() [2/21]

void storm::jani::ConstJaniTraverser::traverse	(	Assignment const &	assignment,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 54 of file JaniTraverser.cpp.

◆ traverse() [3/21]

void storm::jani::ConstJaniTraverser::traverse	(	Automaton const &	automaton,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 41 of file JaniTraverser.cpp.

◆ traverse() [4/21]

void storm::jani::ConstJaniTraverser::traverse	(	Constant const &	constant,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 42 of file JaniTraverser.cpp.

◆ traverse() [5/21]

void storm::jani::ConstJaniTraverser::traverse	(	Edge const &	edge,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 51 of file JaniTraverser.cpp.

◆ traverse() [6/21]

void storm::jani::ConstJaniTraverser::traverse	(	EdgeContainer const &	edgeContainer,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 48 of file JaniTraverser.cpp.

◆ traverse() [7/21]

void storm::jani::ConstJaniTraverser::traverse	(	EdgeDestination const &	edgeDestination,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 52 of file JaniTraverser.cpp.

◆ traverse() [8/21]

void storm::jani::ConstJaniTraverser::traverse	(	FunctionDefinition const &	functionDefinition,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 43 of file JaniTraverser.cpp.

◆ traverse() [9/21]

void storm::jani::ConstJaniTraverser::traverse	(	JaniType const &	type,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 47 of file JaniTraverser.cpp.

◆ traverse() [10/21]

void storm::jani::ConstJaniTraverser::traverse	(	Location const &	location,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 45 of file JaniTraverser.cpp.

◆ traverse() [11/21]

void storm::jani::RewardModelInformation::traverse	(	Location const &	location,
		boost::any const &	data
	)

overridevirtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 53 of file RewardModelInformation.cpp.

◆ traverse() [12/21]

void storm::jani::ConstJaniTraverser::traverse	(	LValue const &	lValue,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 55 of file JaniTraverser.cpp.

◆ traverse() [13/21]

void storm::jani::ConstJaniTraverser::traverse	(	Model const &	model,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 38 of file JaniTraverser.cpp.

◆ traverse() [14/21]

void storm::jani::ConstJaniTraverser::traverse	(	OrderedAssignments const &	orderedAssignments,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 53 of file JaniTraverser.cpp.

◆ traverse() [15/21]

void storm::jani::ConstJaniTraverser::traverse	(	storm::expressions::Expression const &	expression,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 56 of file JaniTraverser.cpp.

◆ traverse() [16/21]

void storm::jani::ConstJaniTraverser::traverse	(	TemplateEdge const &	templateEdge,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 49 of file JaniTraverser.cpp.

◆ traverse() [17/21]

void storm::jani::RewardModelInformation::traverse	(	TemplateEdge const &	templateEdge,
		boost::any const &	data
	)

overridevirtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 66 of file RewardModelInformation.cpp.

◆ traverse() [18/21]

void storm::jani::ConstJaniTraverser::traverse	(	TemplateEdgeDestination const &	templateEdgeDestination,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 50 of file JaniTraverser.cpp.

◆ traverse() [19/21]

void storm::jani::RewardModelInformation::traverse	(	TemplateEdgeDestination const &	TemplateEdgeDestination,
		boost::any const &	data
	)

overridevirtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 82 of file RewardModelInformation.cpp.

◆ traverse() [20/21]

void storm::jani::ConstJaniTraverser::traverse	(	Variable const &	variable,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 46 of file JaniTraverser.cpp.

◆ traverse() [21/21]

void storm::jani::ConstJaniTraverser::traverse	(	VariableSet const &	variableSet,
		boost::any const &	data
	)

virtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 44 of file JaniTraverser.cpp.

Member Data Documentation

◆ actionRewards

bool storm::jani::RewardModelInformation::actionRewards

Definition at line 52 of file RewardModelInformation.h.

◆ stateRewards

bool storm::jani::RewardModelInformation::stateRewards

Definition at line 51 of file RewardModelInformation.h.

◆ transitionRewards

bool storm::jani::RewardModelInformation::transitionRewards

Definition at line 53 of file RewardModelInformation.h.

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

src/storm/storage/jani/traverser/RewardModelInformation.h
src/storm/storage/jani/traverser/RewardModelInformation.cpp

Public Member Functions

Public Attributes

Detailed Description

Constructor & Destructor Documentation

◆ RewardModelInformation() [1/3]

◆ RewardModelInformation() [2/3]

◆ RewardModelInformation() [3/3]

◆ ~RewardModelInformation()

Member Function Documentation

◆ hasActionRewards()

◆ hasStateRewards()

◆ hasTransitionRewards()

◆ join()

◆ traverse() [1/21]

◆ traverse() [2/21]

◆ traverse() [3/21]

◆ traverse() [4/21]

◆ traverse() [5/21]

◆ traverse() [6/21]

◆ traverse() [7/21]

◆ traverse() [8/21]

◆ traverse() [9/21]

◆ traverse() [10/21]

◆ traverse() [11/21]

◆ traverse() [12/21]

◆ traverse() [13/21]

◆ traverse() [14/21]

◆ traverse() [15/21]

◆ traverse() [16/21]

◆ traverse() [17/21]

◆ traverse() [18/21]

◆ traverse() [19/21]

◆ traverse() [20/21]

◆ traverse() [21/21]

Member Data Documentation

◆ actionRewards

◆ stateRewards

◆ transitionRewards