storm::jani::CompositionSimplificationVisitor Member List

This is the complete list of members for storm::jani::CompositionSimplificationVisitor, including all inherited members.

CompositionSimplificationVisitor(std::unordered_map< std::string, std::vector< std::string > > const &automatonToCopiesMap)	storm::jani::CompositionSimplificationVisitor	inline
simplify(Composition const &oldComposition)	storm::jani::CompositionSimplificationVisitor	inline
visit(AutomatonComposition const &composition, boost::any const &) override	storm::jani::CompositionSimplificationVisitor	inlinevirtual
visit(ParallelComposition const &composition, boost::any const &data) override	storm::jani::CompositionSimplificationVisitor	inlinevirtual
~CompositionVisitor()=default	storm::jani::CompositionVisitor	virtual