Sequence Chart Studio svn HEAD revision
|std::list< HMscPtr >||check (HMscPtr hmsc, ChannelMapperPtr chm)|
|Public Member Functions inherited from HMscChecker|
|Protected Member Functions inherited from HMscChecker|
Checks HMsc against specific property.
Returns a list of MscPathPtr with violating examples if there are any in hmsc otherwise the list is empty.