Documentation
|
|
General
|
There actually is some. You're reading it.
|
IDE
|
|
Support for Model Checking and Correction
Model checking logic is easily modified to provide support for model errors, warnings and information.
Suggestions for conditions are welcomed. Internal errors are also reported using the standard Eclipse
logging mechanism. |
Error Message
Error Marker
Problem View
|
|
Editor features and improvements
|
Many improvements to ease of use. Bug features.
|
Model Generation
|
|
Significant Model generation improvements
|
Better performance, improved target generation, refactoring for flexibility.
|
|
Support for State variables
|
These allow modelers to specify exactly what values are allowed for a given attribute.
|
|
New Functions
|
A number of additional functions provide support for list management, weighted item selection and
other capabilities. Suggestions for new functionality are always welcome.
|