Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrUtil.c65 Pdr_Set_t * Pdr_SetCreate( Vec_Int_t * vLits, Vec_Int_t * vPiLits ) in Pdr_SetCreate() function
324 pIntersection = Pdr_SetCreate( vCommonLits, vPiLits ); in ZPdr_SetIntersection()
H A DpdrInt.h241 extern Pdr_Set_t * Pdr_SetCreate( Vec_Int_t * vLits, Vec_Int_t * vPiLits );
H A DpdrTsim3.c349 pRes = Pdr_SetCreate( p->vFfLits, p->vPiLits ); in Txs3_ManTernarySim()
H A DpdrTsim.c490 pRes = Pdr_SetCreate( vRes, vPiLits ); in Pdr_ManTernarySim()
H A DpdrTsim2.c538 pRes = Pdr_SetCreate( p->vFfLits, p->vPiLits ); in Txs_ManTernarySim()