view Implab/Formats/CharAlphabet.cs @ 171:0f70905b4652 ref20160224

Working on regular DFA
author cin
date Thu, 10 Mar 2016 01:19:33 +0300
parents e227e78d72e4
children 92d5278d1b10
line wrap: on
line source

using System.Collections.Generic;
using System.Linq;
using Implab.Automaton;

namespace Implab.Formats {
    public class CharAlphabet: IndexedAlphabetBase<char> {

        public CharAlphabet()
            : base(char.MaxValue + 1) {
        }

        public override int GetSymbolIndex(char symbol) {
            return symbol;
        }

        public override IEnumerable<char> InputSymbols {
            get { return Enumerable.Range(char.MinValue, char.MaxValue).Cast<char>(); }
        }
    }
}