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

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
holCheckLib.holCheck, holCheckLib.set_flag_ric.

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