pub trait GenerationProgressObserver: Send + Sync {
// Provided methods
fn begin_phase(
&self,
_phase: GenerationProgressPhase,
_kind: GenerationProcessKind,
_process: &str,
_integrand: &str,
_total_graphs: usize,
_total_cuts: Option<usize>,
) { ... }
fn graph_started(
&self,
_kind: GenerationProcessKind,
_integrand: &str,
_graph: &str,
_cut_count: Option<usize>,
) { ... }
fn graph_finished(
&self,
_kind: GenerationProcessKind,
_integrand: &str,
_graph: &str,
_stats: &GraphGenerationStats,
_completed_cuts: Option<usize>,
) { ... }
fn cuts_discovered(
&self,
_integrand: &str,
_graph: &str,
_st_cut_count: usize,
_valid_cut_count: usize,
) { ... }
fn cut_finished(&self, _integrand: &str, _graph: &str, _cut_count: usize) { ... }
fn backend_started(
&self,
_kind: GenerationProcessKind,
_integrand: &str,
_graph_count: usize,
) { ... }
fn backend_finished(
&self,
_kind: GenerationProcessKind,
_integrand: &str,
_elapsed: Duration,
) { ... }
}Provided Methods§
fn begin_phase( &self, _phase: GenerationProgressPhase, _kind: GenerationProcessKind, _process: &str, _integrand: &str, _total_graphs: usize, _total_cuts: Option<usize>, )
fn graph_started( &self, _kind: GenerationProcessKind, _integrand: &str, _graph: &str, _cut_count: Option<usize>, )
fn graph_finished( &self, _kind: GenerationProcessKind, _integrand: &str, _graph: &str, _stats: &GraphGenerationStats, _completed_cuts: Option<usize>, )
fn cuts_discovered( &self, _integrand: &str, _graph: &str, _st_cut_count: usize, _valid_cut_count: usize, )
fn cut_finished(&self, _integrand: &str, _graph: &str, _cut_count: usize)
fn backend_started( &self, _kind: GenerationProcessKind, _integrand: &str, _graph_count: usize, )
fn backend_finished( &self, _kind: GenerationProcessKind, _integrand: &str, _elapsed: Duration, )
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".