Microsoft.Z3.AST.GetHashCode C# (CSharp) Method

The AST's hash code.

public GetHashCode ( ) : int
return	int

        public override int GetHashCode()
        {
            return (int)Native.Z3_get_ast_hash(Context.nCtx, NativeObject);
        }

AST