Home
last modified time | relevance | path

Searched refs:Pdr_ManPushClauses (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrIncr.c32 extern int Pdr_ManPushClauses( Pdr_Man_t * p );
421 RetValue = Pdr_ManPushClauses( p ); in IPdr_ManSolveInt()
689 RetValue = Pdr_ManPushClauses( p ); in IPdr_ManSolveInt()
H A DpdrCore.c149 int Pdr_ManPushClauses( Pdr_Man_t * p ) in Pdr_ManPushClauses() function
1290 RetValue = Pdr_ManPushClauses( p ); in Pdr_ManSolveInt()