1#ifndef LIBTEDDY_RELIABILITY_HPP
2#define LIBTEDDY_RELIABILITY_HPP
4#include <libteddy/details/reliability_manager.hpp>
8using default_oder = std::vector<int32>;
27 std::vector<int32> order = default_oder()
41 int64 overflowNodePoolSize,
42 std::vector<int32> order = default_oder()
65 std::vector<int32> order = default_oder()
79 int64 overflowNodePoolSize,
80 std::vector<int32> order = default_oder()
100 int32 componentCount,
102 std::vector<int32> domains,
103 std::vector<int32> order = default_oder()
117 int32 componentCount,
119 int64 overflowNodePoolSize,
120 std::vector<int32> domains,
121 std::vector<int32> order = default_oder()
144 int32 componentCount,
146 std::vector<int32> domains,
147 std::vector<int32> order = default_oder()
161 int32 componentCount,
163 int64 overflowNodePoolSize,
164 std::vector<int32> domains,
165 std::vector<int32> order = default_oder()
170 int32
const componentCount,
171 int64
const nodePoolSize,
172 std::vector<int32> order
178 static_cast<std::vector<int32>&&>(order)
184 int32
const componentCount,
185 int64
const nodePoolSize,
186 int64
const overflowNodePoolSize,
187 std::vector<int32> order
192 overflowNodePoolSize,
193 static_cast<std::vector<int32>&&>(order)
200 int32
const componentCount,
201 int64
const nodePoolSize,
202 std::vector<int32> order
208 static_cast<std::vector<int32>&&>(order)
215 int32
const componentCount,
216 int64
const nodePoolSize,
217 int64
const overflowNodePoolSize,
218 std::vector<int32> order
223 overflowNodePoolSize,
224 static_cast<std::vector<int32>&&>(order)
230 int32
const componentCount,
231 int64
const nodePoolSize,
232 std::vector<int32> domains,
233 std::vector<int32> order
239 static_cast<std::vector<int32>&&>(domains),
240 static_cast<std::vector<int32>&&>(order)
246 int32
const componentCount,
247 int64
const nodePoolSize,
248 int64
const overflowNodePoolSize,
249 std::vector<int32> domains,
250 std::vector<int32> order
255 overflowNodePoolSize,
256 static_cast<std::vector<int32>&&>(domains),
257 static_cast<std::vector<int32>&&>(order)
264 int32
const componentCount,
265 int64
const nodePoolSize,
266 std::vector<int32> domains,
267 std::vector<int32> order
273 static_cast<std::vector<int32>&&>(domains),
274 static_cast<std::vector<int32>&&>(order)
281 int32
const componentCount,
282 int64
const nodePoolSize,
283 int64
const overflowNodePoolSize,
284 std::vector<int32> domains,
285 std::vector<int32> order
290 overflowNodePoolSize,
291 static_cast<std::vector<int32>&&>(domains),
292 static_cast<std::vector<int32>&&>(order)
Base class for reliability managers.
Definition reliability_manager.hpp:43
Manager for BDDs and analysis of Binary State System.
Definition reliability.hpp:16
bss_manager(int32 componentCount, int64 nodePoolSize, std::vector< int32 > order=default_oder())
Initializes BSS manager.
Definition reliability.hpp:169
Manager for iMDDs and analysis of non-homogenous Multi-state Systems.
Definition reliability.hpp:133
ifmss_manager(int32 componentCount, int64 nodePoolSize, std::vector< int32 > domains, std::vector< int32 > order=default_oder())
Initializes ifMSS manager.
Definition reliability.hpp:263
Manager for iMDDs and analysis of non-homogenous Multi-state Systems.
Definition reliability.hpp:89
imss_manager(int32 componentCount, int64 nodePoolSize, std::vector< int32 > domains, std::vector< int32 > order=default_oder())
Initializes iMSS manager.
Definition reliability.hpp:229
Manager for MDDs and analysis of homogeneous Multi-State Systems.
Definition reliability.hpp:54
mss_manager(int32 componentCount, int64 nodePoolSize, std::vector< int32 > order=default_oder())
Initializes MSS manager.
Definition reliability.hpp:199