mk_false method

Z3_ast mk_false(Z3_context c)

\brief Create an AST node representing \c false.

def_API('Z3_mk_false', AST, (_in(CONTEXT), ))

Implementation

Z3_ast mk_false(
  Z3_context c,
) {
  return _mk_false(
    c,
  );
}