Home
last modified time | relevance | path

Searched refs:Fra_ClassesRefine1 (Results 1 – 5 of 5) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraSim.c715 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 Dfra.h304 extern int Fra_ClassesRefine1( Fra_Cla_t * p, int fRefineNewClass, int * pSkipped );
H A DfraBmc.c353 Fra_ClassesRefine1( p->pCla, 1, NULL ); in Fra_BmcPerform()
H A DfraLcr.c659 if ( Fra_ClassesRefine1( p->pCla, 0, NULL ) ) in Fra_FraigLatchCorrespondence()
H A DfraClass.c527 int Fra_ClassesRefine1( Fra_Cla_t * p, int fRefineNewClass, int * pSkipped ) in Fra_ClassesRefine1() function