Searched refs:Cbs_ManSaveModel (Results 1 – 1 of 1) sorted by relevance
238 static inline void Cbs_ManSaveModel( Cbs_Man_t * p, Vec_Int_t * vCex ) in Cbs_ManSaveModel() function957 Cbs_ManSaveModel( p, p->vModel ); in Cbs_ManSolve()