pub type GuaranteeCondition<S> = RelyCondition<S>;Expand description
A guarantee condition: transitions this thread promises to only perform.
Aliased Type§
pub struct GuaranteeCondition<S> {
pub transitions: HashSet<Transition<S>>,
}Fields§
§transitions: HashSet<Transition<S>>The set of allowed environment transitions.