API Documentation

The crestdsl package is the root of the library. It wraps all other subpackages that are needed for the creation of and interaction with CREST systems. For example, the model package contains all APIs required for the creation of a crestdsl model, the simulation package provides various Simulator classes, and the ui package can be used to plot a CREST diagram of a model.

Warning

This documentation is (unfortunately) not complete yet. Please bear with me. I will gradually extend it.

Subpackages

• crestdsl.model package
• crestdsl.model.systemcheck module
• crestdsl.model.api package
• crestdsl.simulation package
• crestdsl.ui package
• crestdsl.verification package
• crestdsl.config module