modelbalanceVerifier
Extends from AtomicDEVS (Partial atomic DEVS model).
Parameters
| Type | Name | Default | Description |
|---|---|---|---|
| String | name (from AtomicDEVS) | "AtomicDEVS" | |
| Integer | numIn (from AtomicDEVS) | 1 | Num of input ports |
| Integer | numOut (from AtomicDEVS) | 1 | Num of output ports |
Connectors
| Type | Name | Default | Description |
|---|---|---|---|
| Interfaces.outPort | AmntOut | ||
| Interfaces.inPort | AmntIn | ||
| Interfaces.outPort | GetAmntOut |
Components
| Type | Name | Default | Description |
|---|---|---|---|
| State | S (from AtomicDEVS) | Current State |
Contents
| Name | Description |
|---|---|
| Fcon | |
| Fext | |
| Fint | |
| Fout | |
| Fta | |
| initState |