use super::super::path::DecisionPath;
use super::super::trace::DecisionTrace;
pub trait TraceCollector<P: DecisionPath>: Send + Sync {
fn record(&mut self, trace: DecisionTrace<P>);
fn flush(&mut self) -> std::io::Result<()>;
fn len(&self) -> usize;
fn is_empty(&self) -> bool {
self.len() == 0
}
}