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_ |