Package edu.tum.cs.simulink.constraints

This package contains the constraints for the Simulink model.

See:
Description

Class Summary

SimulinkBlockTypeConstraint	This constraint checks if a Simulink block has a defined type.
SimulinkConstraints	Utility methods for validating the Simulink model.
SimulinkElementNameConstraint	This constraint checks if a Simulink element has a defined name and ensures that the name does not start or end with a slash.
SimulinkLineConstraint	This constraint checks if a Simulink line crosses subsystem boundaries.

Package edu.tum.cs.simulink.constraints Description

This package contains the constraints for the Simulink model. These constraints fall in two categories:

• Mandatory Constraints: These constraints must be satisfied for a model to work properly. Due to technical reasons these constraints cannot be checked during model build.
• Optional Constraints: Optional constraints are constraints that are valid for actual Simulink models but must not be satisfied for the Simulink library to work. An example is a constraints that requires line not to cross subsystem boundaries. This is required in Simulink but this library allows subsystem flattening and thereby cross-subsystem lines.