Searched refs:DIV_XOR (Results 1 – 1 of 1) sorted by relevance
170 DIV_XOR, // 2: xor (ordered fanins) enumerator194 return DIV_XOR; in Bmc_FxDivXor()661 else if ( Func == DIV_XOR ) in Bmc_FxAddClauses()