implements checks for soft constraints on EFDs.
![]() | DCFChecks (Diagram *d, Graph *g) |
![]() | CheckControlProcessCoherence (string &chkbuf) |
![]() | CheckContinuousSplitMergeEdges (string &chkbuf) |
![]() | CheckActivationMechanisms (string &chkbuf) Check if activation mechanisms are correctly specified. |
![]() | CheckPersistences (string &chkbuf) Check discrete processes do not output continuous flows. |
implements checks for soft constraints on EFDs.
unsigned CheckControlProcessCoherence(string &chkbuf)
unsigned CheckContinuousSplitMergeEdges(string &chkbuf)
unsigned CheckActivationMechanisms(string &chkbuf)
unsigned CheckPersistences(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