Searched defs:vMatrsNonSym (Results 1 – 1 of 1) sorted by relevance
49 void Sim_SymmsSimulate( Sym_Man_t * p, unsigned * pPat, Vec_Ptr_t * vMatrsNonSym ) in Sim_SymmsSimulate()130 …sDeriveInfo( Sym_Man_t * p, unsigned * pPat, Abc_Obj_t * pNode, Vec_Ptr_t * vMatrsNonSym, int Outp… in Sim_SymmsDeriveInfo()