Inheritance diagram for storm::jani::CompositionSimplificationVisitor:

Collaboration diagram for storm::jani::CompositionSimplificationVisitor:

Public Member Functions
	CompositionSimplificationVisitor (std::unordered_map< std::string, std::vector< std::string > > const &automatonToCopiesMap)

std::shared_ptr< Composition >	simplify (Composition const &oldComposition)

virtual boost::any	visit (AutomatonComposition const &composition, boost::any const &) override

virtual boost::any	visit (ParallelComposition const &composition, boost::any const &data) override

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

Detailed Description

Definition at line 953 of file Model.cpp.

Constructor & Destructor Documentation

◆ CompositionSimplificationVisitor()

storm::jani::CompositionSimplificationVisitor::CompositionSimplificationVisitor ( std::unordered_map< std::string, std::vector< std::string > > const & automatonToCopiesMap )

inline

Definition at line 955 of file Model.cpp.

Member Function Documentation

◆ simplify()

std::shared_ptr< Composition > storm::jani::CompositionSimplificationVisitor::simplify ( Composition const & oldComposition )

inline

Definition at line 958 of file Model.cpp.

◆ visit() [1/2]

virtual boost::any storm::jani::CompositionSimplificationVisitor::visit	(	AutomatonComposition const &	composition,
		boost::any const &
	)

inlineoverridevirtual

Implements storm::jani::CompositionVisitor.

Definition at line 962 of file Model.cpp.

◆ visit() [2/2]

virtual boost::any storm::jani::CompositionSimplificationVisitor::visit	(	ParallelComposition const &	composition,
		boost::any const &	data
	)