Searched refs:Tas_ManPropagate (Results 1 – 1 of 1) sorted by relevance
1244 int Tas_ManPropagate( Tas_Man_t * p, int Level ) in Tas_ManPropagate() function1293 if ( (hClause = Tas_ManPropagate( p, Level )) ) in Tas_ManSolve_rec()