Home
last modified time | relevance | path

Searched refs:Inter_CheckPerform (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/
H A DintInt.h97 extern int Inter_CheckPerform( Inter_Check_t * p, Cnf_Dat_t * pCnf, abctime nTimeNewOut…
H A DintCore.c187 RetValue = Inter_CheckPerform( pCheck, pCnfInter2, nTimeNewOut ); in Inter_ManPerformInterpolation()
331 Status = Inter_CheckPerform( pCheck, pCnfInter2, nTimeNewOut ); in Inter_ManPerformInterpolation()
H A DintCheck.c220 int Inter_CheckPerform( Inter_Check_t * p, Cnf_Dat_t * pCnfInt, abctime nTimeNewOut ) in Inter_CheckPerform() function