Searched refs:fGuaranteeInit (Results 1 – 1 of 1) sorted by relevance
20729 int fComputeInit, fGuaranteeInit, fBlockConst; in Abc_CommandFlowRetime() local20734 int fComputeInit, int fGuaranteeInit, int fBlockConst, in Abc_CommandFlowRetime()20744 fGuaranteeInit = 0; in Abc_CommandFlowRetime()20789 fGuaranteeInit ^= 1; in Abc_CommandFlowRetime()20816 if ( fGuaranteeInit && !fComputeInit ) in Abc_CommandFlowRetime()20836 fGuaranteeInit, fBlockConst, in Abc_CommandFlowRetime()20852 …Abc_Print( -2, "\t-g : guarantees init state computation [default = %s]\n", fGuaranteeInit? "y… in Abc_CommandFlowRetime()