Azinix

Evl_BddLevelPair_t Struct Reference

A bdd_t and the level we are thinking of it as being at. More...

#include <evl.h>


Data Fields

bdd_t * bdd
int level


Detailed Description

A bdd_t and the level we are thinking of it as being at.

Definition at line 85 of file evl.h.


Field Documentation

bdd_t* Evl_BddLevelPair_t::bdd

Definition at line 87 of file evl.h.

int Evl_BddLevelPair_t::level

Definition at line 88 of file evl.h.