Method key

crates/openshell-prover/src/model.rs:25–27

Stable string key used for Z3 variable naming.

(&self)

impl EndpointId {
    /// Stable string key used for Z3 variable naming.
    pub fn key(&self) -> String {
        format!("{}:{}:{}", self.policy_name, self.host, self.port)
    }
}

/// Z3-backed reachability model for an `OpenShell` sandbox policy.