1
<html><head><TITLE>STChecks</TITLE></head>
3
<H2><A HREF ="#DOC.DOCU" > <IMG BORDER=0 SRC=down.gif></A> class STChecks : public <!2><A HREF="DiagramChecks.html#DOC.110.1">DiagramChecks</A> </H2><BLOCKQUOTE>
4
implements generic checks for soft constraints on ST diagrams.
8
<APPLET CODE="ClassGraph.class" WIDTH=600 HEIGHT=65>
9
<param name=classes value="CDiagramChecks,MDiagramChecks.html,CSTChecks,MSTChecks.html">
10
<param name=before value="M,M">
11
<param name=after value="Md_,M">
12
<param name=indent value="0,1">
13
<param name=arrowdir value="down">
19
<DT><h3>Public Methods</h3><DD><TR><TD VALIGN=top><A HREF="#DOC.348.1"> <IMG BORDER=0 SRC=icon1.gif></A> </TD><TD><B>STChecks</B> (<!1><A HREF="Diagram.html">Diagram</A> *d, <!1><A HREF="Graph.html">Graph</A> *g)<br>
21
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.348.2"> <IMG BORDER=0 SRC=icon1.gif></A> unsigned </TD><TD><B>CheckUnreachableStates</B> (<!1><A HREF="string.html">string</A> &chkbuf)<br>
23
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.348.3"> <IMG BORDER=0 SRC=icon1.gif></A> unsigned </TD><TD><B>CheckEmptyEvents</B> (<!1><A HREF="string.html">string</A> &chkbuf)<br>
25
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.348.4"> <IMG BORDER=0 SRC=icon1.gif></A> unsigned </TD><TD><B>CheckEmptyActions</B> (<!1><A HREF="string.html">string</A> &chkbuf)<br>
27
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.348.5"> <IMG BORDER=0 SRC=icon1.gif></A> unsigned </TD><TD><B>CheckNoActions</B> (<!1><A HREF="string.html">string</A> &chkbuf)<br>
29
</TD></TR><TR><TD VALIGN=top><A HREF="#DOC.348.6"> <IMG BORDER=0 SRC=icon1.gif></A> unsigned </TD><TD><B>CheckDoubleEvents</B> (<!1><A HREF="string.html">string</A> &chkbuf)<br>
31
</TD></TR></TABLE></DL>
32
<hr><H3>Inherited from <A HREF="DiagramChecks.html">DiagramChecks:</A></h3>
36
<DT><h3>Public Methods</h3><DD><DT><IMG SRC=icon2.gif> unsigned <B>CheckNodeCount</B>(unsigned count, int nodeType, <!1><A HREF="string.html">string</A> &chkbuf)
37
<DT><IMG SRC=icon2.gif> unsigned <B>CheckNodeCount</B>(unsigned min, unsigned max, int nodeType, <!1><A HREF="string.html">string</A> &chkbuf)
38
<DT><IMG SRC=icon2.gif> unsigned <B>CheckEdgeCount</B>(unsigned count, int edgeType, <!1><A HREF="string.html">string</A> &chkbuf)
39
<DT><IMG SRC=icon2.gif> unsigned <B>CheckEdgeCount</B>(unsigned min, unsigned max, int edgeType, <!1><A HREF="string.html">string</A> &chkbuf)
40
<DT><IMG SRC=icon2.gif> unsigned <B>CheckDoubleIndexes</B>(<!1><A HREF="string.html">string</A> &chkbuf)
41
<DT><IMG SRC=icon2.gif> unsigned <B>CheckNamelessNodes</B>(int nodeType, <!1><A HREF="string.html">string</A> &chkbuf)
42
<DT><IMG SRC=icon2.gif> unsigned <B>CheckNamelessEdges</B>(int edgeType, <!1><A HREF="string.html">string</A> &chkbuf)
43
<DT><IMG SRC=icon2.gif> unsigned <B>CheckIllegalNodeNames</B>(int nodeType, const <!1><A HREF="string.html">string</A> *name, <!1><A HREF="string.html">string</A> &chkbuf)
44
<DT><IMG SRC=icon2.gif> unsigned <B>CheckIllegalEdgeNames</B>(int edgeType, const <!1><A HREF="string.html">string</A> *name, <!1><A HREF="string.html">string</A> &chkbuf)
45
<DT><IMG SRC=icon2.gif> unsigned <B>CheckNamelessEdges</B>( int edgeType, int type1, int type2, <!1><A HREF="string.html">string</A> &chkbuf)
46
<DT><IMG SRC=icon2.gif> unsigned <B>CheckDoubleNamelessEdges</B>(int edgeType, int type1, int type2, <!1><A HREF="string.html">string</A> &chkbuf)
47
<DT><IMG SRC=icon2.gif> unsigned <B>CheckDoubleNodes</B>(int nodeType, <!1><A HREF="string.html">string</A> &chkbuf)
48
<DT><IMG SRC=icon2.gif> unsigned <B>CheckConnected</B>(int nodeType, bool index, <!1><A HREF="string.html">string</A> &chkbuf)
49
<DT><IMG SRC=icon2.gif> unsigned <B>CheckConnected</B>(int nodeType, int toNode, int min, int max, bool index, <!1><A HREF="string.html">string</A> &chkbuf)
50
<DT><IMG SRC=icon2.gif> unsigned <B>CheckJunctionCoherence</B>(int nodeType, int parenttype, int childtype, unsigned minChildren, <!1><A HREF="string.html">string</A> &chkbuf)
51
<DT><IMG SRC=icon2.gif> unsigned <B>CheckCountEdgesFrom</B>(int nodeType, int edgeType, unsigned min, unsigned max, bool zeroAllowed, bool index, <!1><A HREF="string.html">string</A> &chkbuf)
52
<DT><IMG SRC=icon2.gif> unsigned <B>CheckReachability</B>(int rootType, int nodeType, bool index, <!1><A HREF="string.html">string</A> &chkbuf)
54
<DT><h3>Protected Methods</h3><DD><DT><IMG SRC=icon2.gif> <!1><A HREF="Graph.html">Graph</A>* <B>GetGraph</B>() const
55
<DT><IMG SRC=icon2.gif> <!1><A HREF="Diagram.html">Diagram</A>* <B>GetDiagram</B>() const
56
<DT><IMG SRC=icon2.gif> unsigned <B>CheckCount</B>(unsigned min, unsigned max, int type, <!1><A HREF="string.html">string</A> &chkbuf, bool node)
57
<DT><IMG SRC=icon2.gif> unsigned <B>CheckIllegalNames</B>(int type, const <!1><A HREF="string.html">string</A> *name, <!1><A HREF="string.html">string</A> &chkbuf, bool node)
61
<h2> Documentation </h2>
63
implements generic checks for soft constraints on ST diagrams.
70
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> STChecks(<!1><A HREF="Diagram.html">Diagram</A> *d, <!1><A HREF="Graph.html">Graph</A> *g)</B></TT>
72
<A NAME="CheckUnreachableStates">
74
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> unsigned CheckUnreachableStates(<!1><A HREF="string.html">string</A> &chkbuf)</B></TT>
76
<A NAME="CheckEmptyEvents">
78
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> unsigned CheckEmptyEvents(<!1><A HREF="string.html">string</A> &chkbuf)</B></TT>
80
<A NAME="CheckEmptyActions">
82
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> unsigned CheckEmptyActions(<!1><A HREF="string.html">string</A> &chkbuf)</B></TT>
84
<A NAME="CheckNoActions">
86
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> unsigned CheckNoActions(<!1><A HREF="string.html">string</A> &chkbuf)</B></TT>
88
<A NAME="CheckDoubleEvents">
90
<DT><IMG BORDER=0 SRC=icon2.gif><TT><B> unsigned CheckDoubleEvents(<!1><A HREF="string.html">string</A> &chkbuf)</B></TT>
93
<DL><DT><B>This class has no child classes.</B></DL>
94
<DL></DL><P><I><A HREF="aindex.html"> alphabetic index</A></I> <I><A HREF="HIER.html"> hierarchy of classes</A></I><P><hr>
95
<A HREF="http://www.zib.de/Visual/software/doc++/index.html"><IMG BORDER=0 ALIGN=RIGHT SRC=logo.gif></A>
96
<P Align=Center><I>this page has been generated automatically by doc++</I>
97
<P Align=Center><I>(c)opyright by <A HREF="http://www.zib.de/zoeckler/"> Malte Zöckler</A>, <A HREF="mailto:wunderling@zib.de"> Roland Wunderling </A><br>contact: <A HREF="mailto:doc++@zib.de"> doc++@zib.de</a></I>