----------------------------------------------------------------------
set_flag_abs                                             (holCheckLib)
----------------------------------------------------------------------
set_flag_abs :  bool -> model -> model

SYNOPSIS
Sets a flag telling HolCheck whether to attempt abstraction.

DESCRIBE
HolCheck uses a simple heuristic analysis of the model to determine whether it would be worthwhile to do abstraction. This flag can be used to override the default.

COMMENTS
This information is optional when constructing HolCheck models. The default is true.

SEEALSO
holCheckLib.holCheck, holCheckLib.empty_model,
holCheckLib.get_flag_abs.

----------------------------------------------------------------------