1\DOC get_flag_ric 2 3\TYPE {get_flag_ric : model -> bool} 4 5\SYNOPSIS 6Returns whether or not the transition system for this HolCheck model is synchronous (conjunctive). Throws an exception if this information has not been set. 7 8\SEEALSO 9holCheckLib.holCheck, 10holCheckLib.set_flag_ric. 11 12\ENDDOC