TeDDy 4.1.0
Decision diagram library.
Loading...
Searching...
No Matches
Public Attributes | List of all members
teddy::var_change Struct Reference

Describes change in a value of a variable. More...

#include <reliability_manager.hpp>

Public Attributes

int32 index_
 
int32 from_
 
int32 to_
 

Detailed Description

Describes change in a value of a variable.

Member Data Documentation

◆ index_

int32 teddy::var_change::index_

◆ from_

int32 teddy::var_change::from_

◆ to_

int32 teddy::var_change::to_

The documentation for this struct was generated from the following file: