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

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

<B>Description:</B>
STT can be expressed via graph,  each node has two next nodes, named True_node and False_node,
each node has one or more previous node . (Initial node has no previous node)
The function used to find all checkers with multiple preAction node.

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

<B>Returns:</B>
All checkers with multiple previous node.
NOTE:
    The function is used for mqc_stt_is_infinitude_loop?.
    In following graph,  node CK3 has 2 next nodes, CK2 and CK6, and 2 previous node, CK7 and
     Initial node.   (T -- True, F -- False)
             Initial
              /  \
             T    F
            /      \
           /        \
         CK2 <---T- CK3 <------+
         /  \         \        |
        T    F         F       |
       /      \         \      |
      /        \         \     |
     CK4      CK5 -T---> CK6   |
     /  \        \        /    |
    /    \        F      /     |
    Exit  Exit     \    T      |
                    \  /       |
                    CK7 -F-----+
   The STT list of above grahp is:
     (List Parameter) %stt: { { "Initial",     temp_printvalue,  {"initial"},    "CK2", "CK3" },
                              { "CK2",          temp_printvalue2, {"R2"},        "CK4", "CK5" },
                              { "CK3",          temp_printvalue2, {"R3"},        "CK2", "CK6" },
                              { "CK4",          temp_printvalue,  {"R4"},        "donothing",  "donothing" },
                              { "CK5",          temp_printvalue2, {"R3"},        "CK6", "CK7" },
                              { "CK6",          temp_printvalue2, {"R3"},        "CK7", "CK3"  },
                              { "CK7",          temp_printvalue2, {"R3"},        "CK6", "CK3" }
                             };

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