Searched refs:setAllOnes (Results 1 – 2 of 2) sorted by relevance
89 void setAllOnes() { in setAllOnes() function
678 Known.setAllOnes(); in computeKnownBitsFromAssume()