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