storm::jani::ConstJaniTraverser Class Reference

#include <JaniTraverser.h>

Inheritance diagram for storm::jani::ConstJaniTraverser:

Public Member Functions
virtual	~ConstJaniTraverser ()=default
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)

Detailed Description

Definition at line 34 of file JaniTraverser.h.

Constructor & Destructor Documentation

~ConstJaniTraverser()

virtual storm::jani::ConstJaniTraverser::~ConstJaniTraverser ( )

virtualdefault

Member Function Documentation

traverse() [1/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, and storm::jani::RewardModelInformation.

Definition at line 173 of file JaniTraverser.cpp.

traverse() [2/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, storm::jani::RewardModelInformation, and storm::jani::AssignmentLevelFinder.

Definition at line 278 of file JaniTraverser.cpp.

traverse() [3/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, storm::jani::RewardModelInformation, and storm::jani::detail::InformationCollector.

Definition at line 177 of file JaniTraverser.cpp.

traverse() [4/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, and storm::jani::RewardModelInformation.

Definition at line 191 of file JaniTraverser.cpp.

traverse() [5/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, and storm::jani::RewardModelInformation.

Definition at line 259 of file JaniTraverser.cpp.

traverse() [6/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, and storm::jani::RewardModelInformation.

Definition at line 238 of file JaniTraverser.cpp.

traverse() [7/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, and storm::jani::RewardModelInformation.

Definition at line 268 of file JaniTraverser.cpp.

traverse() [8/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, and storm::jani::RewardModelInformation.

Definition at line 200 of file JaniTraverser.cpp.

traverse() [9/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, and storm::jani::RewardModelInformation.

Definition at line 224 of file JaniTraverser.cpp.

traverse() [10/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, storm::jani::RewardModelInformation, storm::jani::AssignmentsFinder, and storm::jani::RewardModelInformation.

Definition at line 210 of file JaniTraverser.cpp.

traverse() [11/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, storm::jani::RewardModelInformation, and storm::jani::detail::VariableAccessedTraverser.

Definition at line 283 of file JaniTraverser.cpp.

traverse() [12/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, storm::jani::RewardModelInformation, storm::jani::detail::ArrayExpressionFinderTraverser, storm::jani::detail::FunctionCallExpressionFinderTraverser, and storm::jani::detail::InformationCollector.

Definition at line 151 of file JaniTraverser.cpp.

traverse() [13/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, and storm::jani::RewardModelInformation.

Definition at line 272 of file JaniTraverser.cpp.

traverse() [14/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, storm::jani::RewardModelInformation, storm::jani::detail::VariableAccessedTraverser, storm::jani::detail::ArrayExpressionFinderTraverser, and storm::jani::detail::FunctionCallExpressionFinderTraverser.

Definition at line 291 of file JaniTraverser.cpp.

traverse() [15/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, storm::jani::RewardModelInformation, storm::jani::AssignmentsFinder, and storm::jani::RewardModelInformation.

Definition at line 247 of file JaniTraverser.cpp.

traverse() [16/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, storm::jani::RewardModelInformation, storm::jani::AssignmentsFinder, and storm::jani::RewardModelInformation.

Definition at line 255 of file JaniTraverser.cpp.

traverse() [17/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, storm::jani::RewardModelInformation, and storm::jani::detail::InformationCollector.

Definition at line 217 of file JaniTraverser.cpp.

traverse() [18/18]

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

virtual

Reimplemented in storm::jani::detail::VariableAccessedTraverser, storm::jani::RewardModelInformation, and storm::jani::detail::InformationCollector.

Definition at line 204 of file JaniTraverser.cpp.

---

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

• src/storm/storage/jani/traverser/JaniTraverser.h
• src/storm/storage/jani/traverser/JaniTraverser.cpp