[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]

Re: Protocols for Smashing the State



The currently chosen protocol for MuSet operations are:

introduce, store, remove, wipe,

storeAll (union), wipeAll (minus), restrictTo (intersect).

Introduce, store, remove and wipe have the same blast semantics as in tables.
That is, introduce and remove may blast.

--Hugh