|
TeDDy 4.1.0
Decision diagram library.
|
Describes change in a value of a variable. More...
#include <reliability_manager.hpp>
Public Attributes | |
| int32 | index_ |
| int32 | from_ |
| int32 | to_ |
Describes change in a value of a variable.
| int32 teddy::var_change::index_ |
| int32 teddy::var_change::from_ |
| int32 teddy::var_change::to_ |