/// <summary> /// Construct a character set solver for the given character encoding (nr of bits). /// </summary> public CharSetSolver(BitWidth bits) : base() { if (!CharacterEncodingTool.IsSpecified(bits)) { throw new AutomataException(AutomataExceptionKind.CharacterEncodingIsUnspecified); } _bw = (int)bits; }