modelImplies_verif
Extends from Implies.
Connectors
| Type | Name | Default | Description |
|---|---|---|---|
| Utilities.Boolean4Connector | b1 (from Implies) | ||
| Utilities.Boolean4Connector | b2 (from Implies) | ||
| Utilities.Boolean4Connector | b1_implies_b2 (from Implies) |
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Implies_externals | externals |