#include <fra.h>

Collaboration diagram for Fra_Cla_t_:

[legend]

Public Attributes
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.

Member Data Documentation

◆ fRefinement

int Fra_Cla_t_::fRefinement

Definition at line 162 of file fra.h.

◆ nPairs

int Fra_Cla_t_::nPairs

Definition at line 161 of file fra.h.

◆ pAig

Aig_Man_t* Fra_Cla_t_::pAig

Definition at line 152 of file fra.h.

◆ pFuncNodeHash

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

Definition at line 165 of file fra.h.

◆ pFuncNodeIsConst

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

Definition at line 166 of file fra.h.

◆ pFuncNodesAreEqual

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

Definition at line 167 of file fra.h.

◆ pMemClasses

Aig_Obj_t** Fra_Cla_t_::pMemClasses

Definition at line 157 of file fra.h.

◆ pMemClassesFree

Aig_Obj_t** Fra_Cla_t_::pMemClassesFree

Definition at line 158 of file fra.h.

◆ pMemRepr

Aig_Obj_t** Fra_Cla_t_::pMemRepr

Definition at line 153 of file fra.h.

◆ vClasses

Vec_Ptr_t* Fra_Cla_t_::vClasses

Definition at line 154 of file fra.h.

◆ vClasses1

Vec_Ptr_t* Fra_Cla_t_::vClasses1

Definition at line 155 of file fra.h.

◆ vClassesTemp

Vec_Ptr_t* Fra_Cla_t_::vClassesTemp

Definition at line 156 of file fra.h.

◆ vClassNew

Vec_Ptr_t* Fra_Cla_t_::vClassNew

Definition at line 160 of file fra.h.

◆ vClassOld

Vec_Ptr_t* Fra_Cla_t_::vClassOld

Definition at line 159 of file fra.h.

◆ vImps

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:

src/proof/fra/fra.h

Public Attributes