Searched refs:Fra_ClassesRefine1 (Results 1 – 5 of 5) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraSim.c | 715 nChanges += Fra_ClassesRefine1( p->pCla, 1, NULL ); in Fra_SmlResimulate() 764 nChanges += Fra_ClassesRefine1( p->pCla, 1, NULL ); in Fra_SmlSimulate() 775 nChanges += Fra_ClassesRefine1( p->pCla, 1, NULL ); in Fra_SmlSimulate() 789 nChanges += Fra_ClassesRefine1( p->pCla, 1, NULL ); in Fra_SmlSimulate()
|
H A D | fra.h | 304 extern int Fra_ClassesRefine1( Fra_Cla_t * p, int fRefineNewClass, int * pSkipped );
|
H A D | fraBmc.c | 353 Fra_ClassesRefine1( p->pCla, 1, NULL ); in Fra_BmcPerform()
|
H A D | fraLcr.c | 659 if ( Fra_ClassesRefine1( p->pCla, 0, NULL ) ) in Fra_FraigLatchCorrespondence()
|
H A D | fraClass.c | 527 int Fra_ClassesRefine1( Fra_Cla_t * p, int fRefineNewClass, int * pSkipped ) in Fra_ClassesRefine1() function
|