<HTML>
<HEAD>
<link type="text/css" href="../css/main_styles.css" rel="stylesheet"></HEAD>
<BODY>
<TITLE>mqc_stt_isInfinitudeLoop</TITLE>
<H1>mqc_stt_isInfinitudeLoop</H1><H4>Synopsis</H4><PRE><FONT COLOR = blue>Defun: mqc_stt_isInfinitudeLoop(
       List, $stt,
       List, $ENTRY_KEYWORDS,
       List, $EXIT_KEYWORDS )
@{...} Boolean;

</FONT></PRE><PRE STYLE=\"text-align : left;\" CLASS=\"Code\">

<B>Description:</B>
The function checks if infinitude_loop exists in STT graph

<B>Input Arguments:</B>
stt - A STT list
ENTRY_KEYWORDS - If it is empty, use default empty {"initial", "start"}
EXIT_KEYWORDS - If it is empty, use default empty {"donothing", "end","exit"}

<B>Returns:</B>
True - STT is infinitude_loop
False - STT is not infinitude_loop
NOTE:
    The function is used for mqc_verify_stt function.
    In above STT graph, there is one infinitude_loop, CK2-->CK5-->CK7-->CK3-->CK2

<B>See Also:</B>
</PRE></FONT></PRE>
<p class=EndLine>&nbsp;</p>
<p class=blank>&nbsp;</p>
</BODY>
</HTML>
