/** Checks to see if the bitset representation is normalized. */ private bool isNormalized() { if (isTrue() || isFalse()) { return(true); } return((bits_value.getBitSet() & ~(bits_set.getBitSet())) == 0); }