Direct Contact

Direct contacts enable a Boolean operation between a connection line state and a Boolean variable.

The state of the connection line on the right of the contact is the logical AND between the state of the left connection line and the value of the variable associated with the contact.

Example

(* ST Equivalence: *)