Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
PlacementInfo.h
Go to the documentation of this file.
1#pragma once
2
3namespace storm {
4namespace gspn {
5struct 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
LabParser.cpp.
Definition cli.cpp:18
LayoutInfo(double x, double y, double rotation=0.0)