storm::jani::TemplateEdgeContainer Struct Reference

#include <TemplateEdgeContainer.h>

Inheritance diagram for storm::jani::TemplateEdgeContainer:

Collaboration diagram for storm::jani::TemplateEdgeContainer:

Public Member Functions
	TemplateEdgeContainer ()=default
	TemplateEdgeContainer (TemplateEdgeContainer const &other)
TemplateEdgeContainer &	operator= (TemplateEdgeContainer const &other)

Detailed Description

Definition at line 11 of file TemplateEdgeContainer.h.

Constructor & Destructor Documentation

TemplateEdgeContainer() [1/2]

storm::jani::TemplateEdgeContainer::TemplateEdgeContainer ( )

default

TemplateEdgeContainer() [2/2]

storm::jani::TemplateEdgeContainer::TemplateEdgeContainer

(

TemplateEdgeContainer const &

other

)

Definition at line 6 of file TemplateEdgeContainer.cpp.

Member Function Documentation

operator=()

TemplateEdgeContainer & storm::jani::TemplateEdgeContainer::operator=

(

TemplateEdgeContainer const &

other

)

Definition at line 12 of file TemplateEdgeContainer.cpp.

---

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

• src/storm/storage/jani/TemplateEdgeContainer.h
• src/storm/storage/jani/TemplateEdgeContainer.cpp