modelBooleanNegation_verif
Extends from BooleanNegation.
Connectors
| Type | Name | Default | Description |
|---|---|---|---|
| Utilities.Boolean4Connector | b1 (from BooleanNegation) | ||
| Utilities.Boolean4Connector | not_b1 (from BooleanNegation) |
Components
| Type | Name | Default | Description |
|---|---|---|---|
| BooleanNegation_externals | externals |