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