Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
PlacementInfo.h
Go to the documentation of this file.
1
#pragma once
2
3
namespace
storm
{
4
namespace
gspn {
5
struct
LayoutInfo
{
6
LayoutInfo
() {};
7
LayoutInfo
(
double
x
,
double
y
,
double
rotation
= 0.0) :
x
(
x
),
y
(
y
),
rotation
(
rotation
) {};
8
9
// x location
10
double
x
= 0.0;
11
// y location
12
double
y
= 0.0;
13
// degrees
14
double
rotation
= 0.0;
15
};
16
}
// namespace gspn
17
}
// namespace storm
storm
LabParser.cpp.
Definition
cli.cpp:18
storm::gspn::LayoutInfo
Definition
PlacementInfo.h:5
storm::gspn::LayoutInfo::rotation
double rotation
Definition
PlacementInfo.h:14
storm::gspn::LayoutInfo::LayoutInfo
LayoutInfo(double x, double y, double rotation=0.0)
Definition
PlacementInfo.h:7
storm::gspn::LayoutInfo::x
double x
Definition
PlacementInfo.h:10
storm::gspn::LayoutInfo::LayoutInfo
LayoutInfo()
Definition
PlacementInfo.h:6
storm::gspn::LayoutInfo::y
double y
Definition
PlacementInfo.h:12
src
storm-gspn
storage
gspn
PlacementInfo.h
Generated by
1.9.8