#include <fra.h>

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 150 of file fra.h.

Field Documentation

int Fra_Cla_t_::fRefinement

Definition at line 162 of file fra.h.

int Fra_Cla_t_::nPairs

Definition at line 161 of file fra.h.

Aig_Man_t* Fra_Cla_t_::pAig

Definition at line 152 of file fra.h.

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

Definition at line 165 of file fra.h.

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

Definition at line 166 of file fra.h.

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

Definition at line 167 of file fra.h.

Aig_Obj_t** Fra_Cla_t_::pMemClasses

Definition at line 157 of file fra.h.

Aig_Obj_t** Fra_Cla_t_::pMemClassesFree

Definition at line 158 of file fra.h.

Aig_Obj_t** Fra_Cla_t_::pMemRepr

Definition at line 153 of file fra.h.

Vec_Ptr_t* Fra_Cla_t_::vClasses

Definition at line 154 of file fra.h.

Vec_Ptr_t* Fra_Cla_t_::vClasses1

Definition at line 155 of file fra.h.

Vec_Ptr_t* Fra_Cla_t_::vClassesTemp

Definition at line 156 of file fra.h.

Vec_Ptr_t* Fra_Cla_t_::vClassNew

Definition at line 160 of file fra.h.

Vec_Ptr_t* Fra_Cla_t_::vClassOld

Definition at line 159 of file fra.h.

Vec_Int_t* Fra_Cla_t_::vImps

Definition at line 163 of file fra.h.

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