You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now, this is configured by the definition of BDDBase in rs:
pub type BDDBase = BddBase<S,SimpleBddWorker<S>>;
I want to say this instead:
pub type BDDBase = BddBase<S,BddSwarm<S>>;
... But that is prevented because the two BddSwarm needs a custom Deserialize implementation, because it has fields that can't be deserialized (the inter-thread communication channels), and these also can't be easily ignored with #[serde(skip)] because they don't have reasonable Default values. Possibly these could be wrapped in Option, but I think it's probably better to refactor so that all WIP information is separated into its own struct.
The text was updated successfully, but these errors were encountered:
After #7 (enable swarming by default), this typechecks and runs, but so far, I only implemented serialization / deserialization for the completed work. That's fine for now, because BddSwarm never returns an unfinished query, but I'm leaving this open because soon we'll WIPBase<T>, where nodes don't need to be fully evaluated, and I'll want to capture much more of the intermediate state.
Right now, this is configured by the definition of
BDDBase
in rs:I want to say this instead:
... But that is prevented because the two
BddSwarm
needs a customDeserialize
implementation, because it has fields that can't be deserialized (the inter-thread communication channels), and these also can't be easily ignored with#[serde(skip)]
because they don't have reasonableDefault
values. Possibly these could be wrapped inOption
, but I think it's probably better to refactor so that all WIP information is separated into its own struct.The text was updated successfully, but these errors were encountered: