get_flag_abs : model -> bool
STRUCTURE
holCheckLib
SYNOPSIS
Returns whether or not HolCheck will attempt abstraction when checking this model.
SEEALSO
holCheck
,
set_flag_abs
HOL
Kananaskis-10