Adds a self contained component.
Adds a self contained component. NB: The state of the component is not managed!
Add StateHandle to the system
Add StateHandle to the system
Subsystem.
Subsystem. It can have a few input contacts (any number), however, it will process signals by one.
If the subsystem has output contacts (it usually has), then the result of subsystem processing will appear on the same contacts of the parent system.
a collection of state handles that is shared between the parent and the child system. Whenever the system gets a signal, shared state values are copied into it's internal state.
Adds a few subsystems at once.
Adds a few subsystems at once. Useful for super systems construction.
Makes the builder unmodifiable and returns completed static system.
Makes the builder unmodifiable and returns completed static system.
Create contact and add it to the builder as an input
Create contact and add it to the builder as an input
Calculates the number of transitions from c1 to that contact.
Calculates the number of transitions from c1 to that contact. If the contact is not reachable then the distance is equals = -1
Creates subsystem and adds it to this system as a component.
Creates subsystem and adds it to this system as a component.
outer system's interface type
the name of the component
function that creates outer interface of the system of type T
function that constructs StaticSystem for type T.
outer system's interface
Create contact and add it to the builder as an output
Create contact and add it to the builder as an output
returns one step successors from the given contact
returns one step successors from the given contact
Sets this builder to the read only mode.
Sets this builder to the read only mode. Subsequent modifications will lead to exceptions.
Changes the name of the component.
Changes the name of the component.
Create StateHandle and add it to the system
Create StateHandle and add it to the system
returns one step successors from the given contact
returns one step successors from the given contact
Constructs the current version of static system.
Constructs the current version of static system.