Microsoft.Z3.AST.GetHashCode C# (CSharp) 메소드

The AST's hash code.

public GetHashCode ( ) : int
리턴	int

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

AST