Home
last modified time | relevance | path

Searched refs:Txs3_Man_t (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrTsim3.c63 Txs3_Man_t * Txs3_ManStart( Pdr_Man_t * pMan, Aig_Man_t * pAig, Vec_Int_t * vPrio ) in Txs3_ManStart()
65 Txs3_Man_t * p; in Txs3_ManStart()
69 p = ABC_CALLOC( Txs3_Man_t, 1 ); in Txs3_ManStart()
87 void Txs3_ManStop( Txs3_Man_t * p ) in Txs3_ManStop()
115 void Txs3_ManCollectCone_rec( Txs3_Man_t * p, Gia_Obj_t * pObj ) in Txs3_ManCollectCone_rec()
140 void Txs3_ManCollectCone( Txs3_Man_t * p, int fVerbose ) in Txs3_ManCollectCone()
188 Pdr_Set_t * Txs3_ManTernarySim( Txs3_Man_t * p, int k, Pdr_Set_t * pCube ) in Txs3_ManTernarySim()
H A DpdrInt.h72 typedef struct Txs3_Man_t_ Txs3_Man_t; typedef
128 Txs3_Man_t * pTxs3;
236 extern Txs3_Man_t * Txs3_ManStart( Pdr_Man_t * pMan, Aig_Man_t * pAig, Vec_Int_t * vPrio );
237 extern void Txs3_ManStop( Txs3_Man_t * );
238 extern Pdr_Set_t * Txs3_ManTernarySim( Txs3_Man_t * p, int k, Pdr_Set_t * pCube );