Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
DFTLayoutInfo.h
Go to the documentation of this file.
1
#pragma once
2
3
namespace
storm::dft
{
4
namespace
storage {
5
6
struct
DFTLayoutInfo
{
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
storm::dft
Definition
SFTBDDPropertyFormulaAdapter.h:19
storm::dft::storage::DFTLayoutInfo
Definition
DFTLayoutInfo.h:6
storm::dft::storage::DFTLayoutInfo::DFTLayoutInfo
DFTLayoutInfo(double x, double y)
Definition
DFTLayoutInfo.h:8
storm::dft::storage::DFTLayoutInfo::DFTLayoutInfo
DFTLayoutInfo()
Definition
DFTLayoutInfo.h:7
storm::dft::storage::DFTLayoutInfo::x
double x
Definition
DFTLayoutInfo.h:11
storm::dft::storage::DFTLayoutInfo::y
double y
Definition
DFTLayoutInfo.h:13
src
storm-dft
storage
DFTLayoutInfo.h
Generated by
1.9.8