get_ast_id method

int get_ast_id(
  1. Z3_context c,
  2. Z3_ast t
)

\brief Return a unique identifier for \c t. The identifier is unique up to structural equality. Thus, two ast nodes created by the same context and having the same children and same function symbols have the same identifiers. Ast nodes created in the same context, but having different children or different functions have different identifiers. Variables and quantifiers are also assigned different identifiers according to their structure.

def_API('Z3_get_ast_id', UINT, (_in(CONTEXT), _in(AST)))

Implementation

int get_ast_id(
  Z3_context c,
  Z3_ast t,
) {
  return _get_ast_id(
    c,
    t,
  );
}