view Implab/Automaton/AutomatonTransition.cs @ 163:419aa51b04fd ref20160224

JSON moved to Formats namespace Working in RegularDFA
author cin
date Wed, 24 Feb 2016 20:12:52 +0300
parents 0526412bbb26
children b84cdbe82e7f
line wrap: on
line source

using System;

namespace Implab.Automaton {
    struct AutomatonTransition : IEquatable<AutomatonTransition> {
        public readonly int s1;
        public readonly int s2;
        public readonly int edge;

        public AutomatonTransition(int s1, int s2, int edge) {
            this.s1 = s1;
            this.s2 = s2;
            this.edge = edge;
        }


        #region IEquatable implementation
        public bool Equals(AutomatonTransition other) {
            return other.s1 == s1 && other.s2 == s2 && other.edge == edge ;
        }
        #endregion

        public override bool Equals(object obj) {
            if (obj is AutomatonTransition)
                return Equals((AutomatonTransition)obj);
            return base.Equals(obj);
        }

        public override int GetHashCode() {
            return s1 + s2 + edge;
        }
    }
}