![]() | SequenceCheckingEnvironmentCompiled Properties |
The SequenceCheckingEnvironmentCompiled type exposes the following members.
Name | Description | |
---|---|---|
![]() | Model |
the model giving access to graph element types for checking
(Overrides SequenceCheckingEnvironmentModel.) |