Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Public Member Functions | List of all members
storm::jani::JaniTraverser Class Reference

#include <JaniTraverser.h>

Inheritance diagram for storm::jani::JaniTraverser:
Inheritance graph
[legend]

Public Member Functions

virtual ~JaniTraverser ()=default
 
virtual void traverse (Model &model, boost::any const &data)
 
virtual void traverse (Action const &action, boost::any const &data)
 
virtual void traverse (Automaton &automaton, boost::any const &data)
 
virtual void traverse (Constant &constant, boost::any const &data)
 
virtual void traverse (FunctionDefinition &functionDefinition, boost::any const &data)
 
virtual void traverse (VariableSet &variableSet, boost::any const &data)
 
virtual void traverse (Location &location, boost::any const &data)
 
virtual void traverse (Variable &variable, boost::any const &data)
 
virtual void traverse (JaniType &type, boost::any const &data)
 
virtual void traverse (EdgeContainer &edgeContainer, boost::any const &data)
 
virtual void traverse (TemplateEdge &templateEdge, boost::any const &data)
 
virtual void traverse (TemplateEdgeDestination &templateEdgeDestination, boost::any const &data)
 
virtual void traverse (Edge &edge, boost::any const &data)
 
virtual void traverse (EdgeDestination &edgeDestination, boost::any const &data)
 
virtual void traverse (OrderedAssignments &orderedAssignments, boost::any const &data)
 
virtual void traverse (Assignment &assignment, boost::any const &data)
 
virtual void traverse (LValue &lValue, boost::any const &data)
 
virtual void traverse (storm::expressions::Expression const &expression, boost::any const &data)
 

Detailed Description

Definition at line 9 of file JaniTraverser.h.

Constructor & Destructor Documentation

◆ ~JaniTraverser()

virtual storm::jani::JaniTraverser::~JaniTraverser ( )
virtualdefault

Member Function Documentation

◆ traverse() [1/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 28 of file JaniTraverser.cpp.

◆ traverse() [2/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, storm::jani::detail::ArrayEliminatorDataCollector, and storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 134 of file JaniTraverser.cpp.

◆ traverse() [3/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, storm::jani::detail::ArrayEliminatorDataCollector, storm::jani::detail::ArrayVariableReplacer, and storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 32 of file JaniTraverser.cpp.

◆ traverse() [4/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, storm::jani::detail::ArrayVariableReplacer, and storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 46 of file JaniTraverser.cpp.

◆ traverse() [5/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, storm::jani::detail::ArrayVariableReplacer, and storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 114 of file JaniTraverser.cpp.

◆ traverse() [6/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 93 of file JaniTraverser.cpp.

◆ traverse() [7/18]

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

Reimplemented in storm::jani::detail::ArrayVariableReplacer, storm::jani::detail::FunctionEliminatorTraverser, and storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 123 of file JaniTraverser.cpp.

◆ traverse() [8/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 55 of file JaniTraverser.cpp.

◆ traverse() [9/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, storm::jani::detail::ArrayVariableReplacer, and storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 79 of file JaniTraverser.cpp.

◆ traverse() [10/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, storm::jani::detail::ArrayVariableReplacer, and storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 65 of file JaniTraverser.cpp.

◆ traverse() [11/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, and storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 139 of file JaniTraverser.cpp.

◆ traverse() [12/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, storm::jani::detail::FunctionEliminatorTraverser, and storm::jani::detail::ArrayVariableReplacer.

Definition at line 6 of file JaniTraverser.cpp.

◆ traverse() [13/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, and storm::jani::detail::ArrayVariableReplacer.

Definition at line 127 of file JaniTraverser.cpp.

◆ traverse() [14/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, and storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 147 of file JaniTraverser.cpp.

◆ traverse() [15/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, storm::jani::detail::ArrayVariableReplacer, and storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 102 of file JaniTraverser.cpp.

◆ traverse() [16/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 110 of file JaniTraverser.cpp.

◆ traverse() [17/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, storm::jani::detail::ArrayEliminatorDataCollector, storm::jani::detail::ArrayVariableReplacer, and storm::jani::detail::FunctionEliminatorTraverser.

Definition at line 72 of file JaniTraverser.cpp.

◆ traverse() [18/18]

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

Reimplemented in storm::jani::detail::FunctionEliminatorTraverser, and storm::jani::detail::ArrayEliminatorDataCollector.

Definition at line 59 of file JaniTraverser.cpp.

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