public int GetBits() { return bits; }
/** * Append mode info. On success, store the result in "bits". */ private static void AppendModeInfo(Mode mode, BitVector bits) { bits.AppendBits(mode.GetBits(), 4); }