storm::jani::AssignmentsFinder Class Reference

#include <AssignmentsFinder.h>

Inheritance diagram for storm::jani::AssignmentsFinder:

Collaboration diagram for storm::jani::AssignmentsFinder:

Classes
struct	ResultType

Public Member Functions
	AssignmentsFinder ()=default
ResultType	find (Model const &model, storm::jani::Variable const &variable)
ResultType	find (Automaton const &automaton, storm::jani::Variable const &variable)
ResultType	find (Model const &model, storm::expressions::Variable const &variable)
ResultType	find (Automaton const &automaton, storm::expressions::Variable const &variable)
virtual	~AssignmentsFinder ()=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
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 (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 (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 14 of file AssignmentsFinder.h.

Constructor & Destructor Documentation

AssignmentsFinder()

storm::jani::AssignmentsFinder::AssignmentsFinder ( )

default

~AssignmentsFinder()

virtual storm::jani::AssignmentsFinder::~AssignmentsFinder ( )

virtualdefault

Member Function Documentation

find() [1/4]

AssignmentsFinder::ResultType storm::jani::AssignmentsFinder::find	(	Automaton const &	automaton,
		storm::expressions::Variable const &	variable
	)

Definition at line 25 of file AssignmentsFinder.cpp.

find() [2/4]

AssignmentsFinder::ResultType storm::jani::AssignmentsFinder::find	(	Automaton const &	automaton,
		storm::jani::Variable const &	variable
	)

Definition at line 12 of file AssignmentsFinder.cpp.

find() [3/4]

AssignmentsFinder::ResultType storm::jani::AssignmentsFinder::find	(	Model const &	model,
		storm::expressions::Variable const &	variable
	)

Definition at line 16 of file AssignmentsFinder.cpp.

find() [4/4]

AssignmentsFinder::ResultType storm::jani::AssignmentsFinder::find	(	Model const &	model,
		storm::jani::Variable const &	variable
	)

Definition at line 8 of file AssignmentsFinder.cpp.

traverse() [1/3]

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

overridevirtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 34 of file AssignmentsFinder.cpp.

traverse() [2/3]

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

overridevirtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 47 of file AssignmentsFinder.cpp.

traverse() [3/3]

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

overridevirtual

Reimplemented from storm::jani::ConstJaniTraverser.

Definition at line 63 of file AssignmentsFinder.cpp.

---

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

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