Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
DFTLayoutInfo.h
Go to the documentation of this file.
1#pragma once
2
3namespace storm::dft {
4namespace storage {
5
7 DFTLayoutInfo() : x(20.0), y(20.0) {};
8 DFTLayoutInfo(double x, double y) : x(x), y(y) {};
9
10 // x location
11 double x;
12 // y location
13 double y;
14};
15
16} // namespace storage
17} // namespace storm::dft
DFTLayoutInfo(double x, double y)