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

Public Attributes

int32 index_
 
int32 value_
 

Member Data Documentation

◆ index_

int32 teddy::var_cofactor::index_

◆ value_

int32 teddy::var_cofactor::value_

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