Ivy_Eva_t_ Struct Reference

Collaboration diagram for Ivy_Eva_t_:

[legend]

Data Fields
Ivy_Obj_t *	pArg
unsigned	Mask
int	Weight

---

Detailed Description

Definition at line 30 of file ivyMulti.c.

---

Field Documentation

unsigned Ivy_Eva_t_::Mask

Definition at line 33 of file ivyMulti.c.

Ivy_Obj_t* Ivy_Eva_t_::pArg

Definition at line 32 of file ivyMulti.c.

int Ivy_Eva_t_::Weight

Definition at line 34 of file ivyMulti.c.

---

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

• src/aig/ivy/ivyMulti.c