modelpinVerifier
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 | GetAmnt | ||
| Interfaces.inPort | PINIn | ||
| Interfaces.outPort | GetPIN | ||
| Interfaces.outPort | outPort3 | Eject |
Components
| Type | Name | Default | Description |
|---|---|---|---|
| State | S (from AtomicDEVS) | Current State |
Contents
| Name | Description |
|---|---|
| Fcon | |
| Fext | |
| Fint | |
| Fout | |
| Fta | |
| initState |