Searched defs:fPrecompute (Results 1 – 5 of 5) sorted by relevance
47 Rwr_Man_t * Rwr_ManStart( int fPrecompute ) in Rwr_ManStart()
253 Rwr_Node_t * Rwr_ManAddVar( Rwr_Man_t * p, unsigned uTruth, int fPrecompute ) in Rwr_ManAddVar()
87 Rwt_Man_t * Rwt_ManStart( int fPrecompute ) in Rwt_ManStart()
446 Rwt_Node_t * Rwt_ManAddVar( Rwt_Man_t * p, unsigned uTruth, int fPrecompute ) in Rwt_ManAddVar()
7320 int fPrecompute; in Abc_CommandRewrite() local