Add clear_schedule (#3941)

# Objective

Adds `clear_schedule` method to `State`.

Closes #3932
This commit is contained in:
Harry Barber 2022-03-05 21:53:17 +00:00
parent baae97d002
commit cf46baa172

View File

@ -392,6 +392,11 @@ where
pub fn inactives(&self) -> &[T] {
self.stack.split_last().map(|(_, rest)| rest).unwrap()
}
/// Clears the scheduled state operation.
pub fn clear_schedule(&mut self) {
self.scheduled = None;
}
}
#[derive(Debug, Error)]