Matching HumHBTTH-Hu

URI: MP-HumHBTTH-Hu

Package: LocalDeviceConnectivity

< prev | next >

Description: Finds a TrivialHost with no manager, paired via Bluetooth with another host managed by a Human.

Root Pattern: R-HumHBTTH

R-HumHBTTH

Finds a Human managing a Host paired with a TrivialHost via Bluetooth.

Construction Patterns (1)

CP-HumHBTTH-Hu+m

Finds a TrivialHost with no manager, paired via Bluetooth with another host managed by a Human, and makes that Human manager of the TrivialHost.