Package NetworkConnectivityInference

R-NP2LS

Finds a network path with a subpath that visits a subnet.

R-NP2LSg

Finds a network path with a subpath that traverses a logical segment.

R-NP3

Finds a Network Path with a subpath that extends a third path, which does not itself have a subpath relationship to the first.

R-OPLS1

Finds a zero-length Logical Path and a Path Terminator (NPE) to a Logical Subnet, where there is a Logical Route via a Gateway Host to the Subnet from some other Logical Subnet.

R-OPLS2

Finds a Network Path and terminator to a Logical Subnet, where there is a Logical Route to the (possibly different) Subnet at the start of the Path.

R-OPPS1

Finds a zero-length Physical Path and a Path Terminator (PPE) to a Physical Subnet, where there is a Logical Route via a Physical Gateway Host to the Subnet from some other Physical Subnet.

R-OPPS2

Finds a Physical Path and terminator to a Physical Subnet, where there is a Logical Route to the (possibly different) Subnet at the start of the Path.

MP-NP2LS

Finds a network path with a subpath that visits a subnet.

MP-NP2LSg

Finds a network path with a subpath that traverses a logical segment.

MP-NP3

Finds a Network Path with a subpath that extends a third path, which does not itself have a subpath relationship to the first.

MP-OPLS1

Finds a zero-length Logical Path and a Path Terminator (NPE) to a Logical Subnet, where there is a Logical Route via a Gateway Host to the Subnet from some other Logical Subnet.

MP-OPLS2

Finds a Network Path and terminator (NPE) to a destination Logical Subnet, where there is a Logical Route into the Subnet at the start of the Path via a Gateway, from a Subnet not visited by any shorter path to the destination, where the Path is routed via at least one Host but not via the Gateway.

MP-OPPS1

Finds a zero-length Physical Path and a Path Terminator (PPE) to a Physical Subnet, where there is a Logical Route via a Physical Gateway Host to the Subnet from some other Physical Subnet.

MP-OPPS2

Finds a Physical Path and terminator (PPE) to a destination Physical Subnet, where there is a Logical Route into the Subnet at the start of the Path via a Gateway, from a Physical Subnet not visited by any shorter physical path to the destination, where the Path is routed via at least one Host but not via the Gateway.

CP-HLS+I

Adds an Interface between a Host and a LogicalSubnet it is connected to, unless the subnet is a hotspot.

CP-ILSA+c

Finds an Interface to a Logical Subnet that implements an Abstract Subnet, and makes the Interface also connect to the Abstract Subnet.

CP-L3c-rGc-rL3+OSg

Finds a Host connected from an IP subnet to a second distinct IP subnet, both in the same space, where neither is a hotspot and neither is provided by the gateway, and adds an Open Segment from the former to the latter subnet.

CP-L3c-rGrL3+DSg

Finds a Host connected from an IP subnet it does not provide to a second, distinct IP subnet that is provided by the Host, both in the same space, where neither subnet is a hotspot. Adds a DeNat Segment (public to private) from the former to the latter subnet.

CP-L3rGc-rL3+NSg

Finds a Host connected from an IP subnet to a distinct IP subnet, the former but not the latter being provided by the Host, and both in the same space, and adds a NAT Segment from the former to the latter subnet.

CP-L3rGrL3+OSg

Finds a Host providing two distinct IP subnets both in the same space, and adds an Open Segment from one to the other.

CP-SgHfILS+f

Adds a relationship between a Logical Segment and the Interface between its gateway Host and the Logical Subnet it routes from.

CP-SgHtILS+t

Adds a relationship between a Logical Segment and the Interface between its gateway Host and the Logical Subnet it routes to.

CP-LS-iH+NPE

Finds a solo Logical Subnet that is not a hotspot, and creates a zero length network path for comms within the subnet, plus an NPE to generate paths finishing at that subnet.

CP-OPLS1+NP

Finds a zero-length Network Path and a Path Terminator (NPE) to a Logical Subnet, where there is a Logical Route via a Gateway Host to the Subnet from some other Logical Subnet, and creates a new Network Path by pre-pending the Logical Route to the previous path.

CP-OPLS2+NP

Finds a Network Path and terminator (NPE) to a destination Logical Subnet, where there is a Logical Route into the Subnet at the start of the Path via a Gateway, from a Subnet not visited by any shorter path to the destination, where the Path is routed via at least one Host but not via the Gateway, and creates a new Network Path by pre-pending the Logical Route to the previous path.

CP-PS-iH+PPE

Finds a solo Physical Subnet, and creates a zero length physical network path for comms within the subnet, plus a PPE to generate paths finishing at that subnet.

CP-OPPS1+PP

Finds a zero-length Physical Path and a Path Terminator (PPE) to a Physical Subnet, where there is a Logical Route via a Physical Gateway Host to the Subnet from some other Physical Subnet, and creates a new Physical Path by pre-pending the Logical Route to the previous path.

CP-OPPS2+PP

Finds a Physical Path and terminator (PPE) to a destination Physical Subnet, where there is a Logical Route into the Subnet at the start of the Path via a Gateway, from a Physical Subnet not visited by any shorter physical path to the destination, where the Path is routed via at least one Host but not via the Gateway, and creates a new Physical Path by pre-pending the Logical Route to the previous path.

CP-NP3+x

Iteratively inserts relationships between a network path and all its subpaths.

CP-LPsLS+v

Finds a Logical Subnet at the start of a Logical Path, and adds a link specifying that the path visits the subnet.

CP-NP2LS+v

Adds a visits relationship from a network path used by a service channel to a logical subnet visited by a subpath.

CP-NP2LSg+t

Adds a traverses relationship from a network path to a logical segment traversed by a subpath.

CP-LPLS2NSg2+b

Finds a route between subnets through a gateway where NAT is used on the return path, and a logical path traversing the forward segment. Adds self referential relationships marking the route and the logical path as blocked by default.

(empty)

Role_NPE	A logical network path terminator, whose relationships hold network connectivity construction state.
Role_PPE	A physical network path terminator, whose relationships hold network connectivity construction state.

NetworkInferenceAsset	A base class for any assets used only to model state created by network connectivity inference patterns.
NPE	Used for model construction only.
PPE	Used for model construction only.