implements generic checks for soft constraints on ST diagrams.
![]() | STChecks (Diagram *d, Graph *g) |
![]() | CheckUnreachableStates (string &chkbuf) |
![]() | CheckEmptyEvents (string &chkbuf) |
![]() | CheckEmptyActions (string &chkbuf) |
![]() | CheckNoActions (string &chkbuf) |
![]() | CheckDoubleEvents (string &chkbuf) |
implements generic checks for soft constraints on ST diagrams.
unsigned CheckUnreachableStates(string &chkbuf)
unsigned CheckEmptyEvents(string &chkbuf)
unsigned CheckEmptyActions(string &chkbuf)
alphabetic index hierarchy of classes
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de