get_bool_value method

int get_bool_value(
  1. Z3_context c,
  2. Z3_ast a
)

\brief Return \c Z3_L_TRUE if \c a is true, \c Z3_L_FALSE if it is false, and \c Z3_L_UNDEF otherwise.

def_API('Z3_get_bool_value', LBOOL, (_in(CONTEXT), _in(AST)))

Implementation

int get_bool_value(
  Z3_context c,
  Z3_ast a,
) {
  return _get_bool_value(
    c,
    a,
  );
}