Searched refs:Cbs2_VarReasonP (Results 1 – 1 of 1) sorted by relevance
146 static inline int * Cbs2_VarReasonP( Cbs2_Man_t * p, int iVar ) { assert( !Cbs2_… in Cbs2_VarReasonP() function750 pReason = Cbs2_VarReasonP( p, iObj ); in Cbs2_ManDeriveReason()