Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
storm::gspn::LayoutInfo Struct Reference

#include <PlacementInfo.h>

Public Member Functions

 LayoutInfo ()
 
 LayoutInfo (double x, double y, double rotation=0.0)
 

Public Attributes

double x = 0.0
 
double y = 0.0
 
double rotation = 0.0
 

Detailed Description

Definition at line 5 of file PlacementInfo.h.

Constructor & Destructor Documentation

◆ LayoutInfo() [1/2]

storm::gspn::LayoutInfo::LayoutInfo ( )
inline

Definition at line 6 of file PlacementInfo.h.

◆ LayoutInfo() [2/2]

storm::gspn::LayoutInfo::LayoutInfo ( double  x,
double  y,
double  rotation = 0.0 
)
inline

Definition at line 7 of file PlacementInfo.h.

Member Data Documentation

◆ rotation

double storm::gspn::LayoutInfo::rotation = 0.0

Definition at line 14 of file PlacementInfo.h.

◆ x

double storm::gspn::LayoutInfo::x = 0.0

Definition at line 10 of file PlacementInfo.h.

◆ y

double storm::gspn::LayoutInfo::y = 0.0

Definition at line 12 of file PlacementInfo.h.

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