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.