Searched refs:Pdr_ManPushClauses (Results 1 – 2 of 2) sorted by relevance
32 extern int Pdr_ManPushClauses( Pdr_Man_t * p );421 RetValue = Pdr_ManPushClauses( p ); in IPdr_ManSolveInt()689 RetValue = Pdr_ManPushClauses( p ); in IPdr_ManSolveInt()
149 int Pdr_ManPushClauses( Pdr_Man_t * p ) in Pdr_ManPushClauses() function1290 RetValue = Pdr_ManPushClauses( p ); in Pdr_ManSolveInt()