diff --git a/src/runtime/mod.rs b/src/runtime/mod.rs index a092d43973bab8c7e86b93ef52bfcb0ac67c3954..70d2abeb9c473ae97ea2adc2291709d10f620a06 100644 --- a/src/runtime/mod.rs +++ b/src/runtime/mod.rs @@ -209,10 +209,9 @@ struct EndpointStore { #[derive(Debug)] struct UdpEndpointExt { sock: UdpSocket, // already bound and connected + received_this_round: bool, outgoing_payloads: HashMap, - incoming_round_spec_var: Option, getter_for_incoming: PortId, - incoming_payloads: Vec, } #[derive(Clone, Debug, Default, serde::Serialize, serde::Deserialize)] struct PortInfo { @@ -456,6 +455,10 @@ impl Connector { } } impl Predicate { + #[inline] + pub fn singleton(k: SpecVar, v: SpecVal) -> Self { + Self::default().inserted(k, v) + } #[inline] pub fn inserted(mut self, k: SpecVar, v: SpecVal) -> Self { self.assigned.insert(k, v);