This cluster contains all the main classes used to implement the SmartEiffel tools.