Package LocalDeviceConnectivityInference

URI: LocalDeviceConnectivityInference

Description: Local device connectivity inference rules and state.

Root Patterns (1)

R-LPLRTSg

Finds path traversing a route between subnets through a gateway which also has a tethering connection to the source subnet.

Matching Patterns (1)

MP-LPLRTSg-f

Finds path traversing a route between subnets through a gateway which also has a tethering connection to the source subnet, but this does not route to the destination subnet, and the destination subnet is not provided by the gateway.

Construction Patterns (1)

CP-LPLRTSg-f+b

Finds path traversing a route between subnets through a gateway which also has a tethering connection to the source subnet, but this does not route to the destination subnet, and the destination subnet is not provided by the gateway. Adds self referential relationships marking the route and the logical path as blocked by default.