Searched refs:fComputeAll (Results 1 – 2 of 2) sorted by relevance
210 void Gia_ManCheckUnateTest( Gia_Man_t * p, int fComputeAll, int fVerbose ) in Gia_ManCheckUnateTest() argument212 if ( fComputeAll ) in Gia_ManCheckUnateTest()
31487 extern void Gia_ManCheckUnateTest( Gia_Man_t * p, int fComputeAll, int fVerbose ); in Abc_CommandAbc9Unate()31488 int c, fComputeAll = 0, fVerbose = 0; in Abc_CommandAbc9Unate() local31495 fComputeAll ^= 1; in Abc_CommandAbc9Unate()31511 Gia_ManCheckUnateTest( pAbc->pGia, fComputeAll, fVerbose ); in Abc_CommandAbc9Unate()31517 … : toggle using efficient computation for all pairs [default = %s]\n", fComputeAll? "yes": "no" ); in Abc_CommandAbc9Unate()