#include <AssignmentLevelFinder.h>

Inheritance diagram for storm::jani::AssignmentLevelFinder:

Collaboration diagram for storm::jani::AssignmentLevelFinder:

Public Member Functions
	AssignmentLevelFinder ()=default

virtual	~AssignmentLevelFinder ()=default

int64_t	getLowestAssignmentLevel (Model const &model)

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

Public Member Functions inherited from storm::jani::ConstJaniTraverser
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 (LValue const &lValue, boost::any const &data)

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

Detailed Description

Definition at line 7 of file AssignmentLevelFinder.h.

Constructor & Destructor Documentation

◆ AssignmentLevelFinder()

storm::jani::AssignmentLevelFinder::AssignmentLevelFinder ( )

default

◆ ~AssignmentLevelFinder()

virtual storm::jani::AssignmentLevelFinder::~AssignmentLevelFinder ( )

virtualdefault

Member Function Documentation

◆ getLowestAssignmentLevel()

int64_t storm::jani::AssignmentLevelFinder::getLowestAssignmentLevel ( Model const & model )

Definition at line 6 of file AssignmentLevelFinder.cpp.

◆ traverse()

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

overridevirtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 12 of file AssignmentLevelFinder.cpp.

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

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