Fra_Cla_t_ Struct Reference

#include <fra.h>

Collaboration diagram for Fra_Cla_t_:

[legend]

Data Fields
Aig_Man_t *	pAig
Aig_Obj_t **	pMemRepr
Vec_Ptr_t *	vClasses
Vec_Ptr_t *	vClasses1
Vec_Ptr_t *	vClassesTemp
Aig_Obj_t **	pMemClasses
Aig_Obj_t **	pMemClassesFree
Vec_Ptr_t *	vClassOld
Vec_Ptr_t *	vClassNew
int	nPairs
int	fRefinement
Vec_Int_t *	vImps
int(*	pFuncNodeHash )(Aig_Obj_t *, int)
int(*	pFuncNodeIsConst )(Aig_Obj_t *)
int(*	pFuncNodesAreEqual )(Aig_Obj_t *, Aig_Obj_t *)

---

Detailed Description

Definition at line 85 of file fra.h.

---

Field Documentation

int Fra_Cla_t_::fRefinement

Definition at line 97 of file fra.h.

int Fra_Cla_t_::nPairs

Definition at line 96 of file fra.h.

Aig_Man_t* Fra_Cla_t_::pAig

Definition at line 87 of file fra.h.

int(* Fra_Cla_t_::pFuncNodeHash)(Aig_Obj_t *, int)

int(* Fra_Cla_t_::pFuncNodeIsConst)(Aig_Obj_t *)

int(* Fra_Cla_t_::pFuncNodesAreEqual)(Aig_Obj_t *, Aig_Obj_t *)

Aig_Obj_t** Fra_Cla_t_::pMemClasses

Definition at line 92 of file fra.h.

Aig_Obj_t** Fra_Cla_t_::pMemClassesFree

Definition at line 93 of file fra.h.

Aig_Obj_t** Fra_Cla_t_::pMemRepr

Definition at line 88 of file fra.h.

Vec_Ptr_t* Fra_Cla_t_::vClasses

Definition at line 89 of file fra.h.

Vec_Ptr_t* Fra_Cla_t_::vClasses1

Definition at line 90 of file fra.h.

Vec_Ptr_t* Fra_Cla_t_::vClassesTemp

Definition at line 91 of file fra.h.

Vec_Ptr_t* Fra_Cla_t_::vClassNew

Definition at line 95 of file fra.h.

Vec_Ptr_t* Fra_Cla_t_::vClassOld

Definition at line 94 of file fra.h.

Vec_Int_t* Fra_Cla_t_::vImps

Definition at line 98 of file fra.h.

---

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

• src/aig/fra/fra.h