getKind method

ParamKind getKind(
  1. Sym key
)

Implementation

ParamKind getKind(Sym key) {
  final kind = context._z3.param_descrs_get_kind(
    _desc,
    context._createSymbol(key),
  );
  if (kind == Z3_param_kind.PK_BOOL) {
    return ParamKind.bool;
  } else if (kind == Z3_param_kind.PK_DOUBLE) {
    return ParamKind.double;
  } else if (kind == Z3_param_kind.PK_INVALID) {
    return ParamKind.invalid;
  } else if (kind == Z3_param_kind.PK_OTHER) {
    return ParamKind.other;
  } else if (kind == Z3_param_kind.PK_STRING) {
    return ParamKind.string;
  } else if (kind == Z3_param_kind.PK_SYMBOL) {
    return ParamKind.symbol;
  } else if (kind == Z3_param_kind.PK_UINT) {
    return ParamKind.uint;
  } else {
    throw AssertionError('Unknown param kind: $kind');
  }
}