implements generic checks for soft constraints on AT diagrams.
![]() | ATChecks (Diagram *d, Graph *g) |
![]() | CheckUnreachableStates (string &chkbuf) |
![]() | CheckEmptyEvents (string &) |
![]() | CheckEmptyActions (string &) |
![]() | CheckNoActions (string &) |
![]() | CheckDoubleEvents (string &) |
implements generic checks for soft constraints on AT diagrams.
unsigned CheckUnreachableStates(string &chkbuf)
unsigned CheckEmptyEvents(string &)
unsigned CheckEmptyActions(string &)
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