get_flag_ric : model -> bool
STRUCTURE
holCheckLib
SYNOPSIS
Returns whether or not the transition system for this HolCheck model is synchronous (conjunctive). Throws an exception if this information has not been set.
SEEALSO
holCheck
,
set_flag_ric
HOL
Kananaskis-4