Microsoft.Automata.Z3.TreeRule.GetHashCode C# (CSharp) Méthode

        public override int GetHashCode()
        {
            int h = (output == null ? 0 : output.GetHashCode());
            h += (state.GetHashCode() << 1);
            h += base.GetHashCode();
            return h;
        }