Skip to main content

SubtractEdge

Trait SubtractEdge 

Source
pub trait SubtractEdge {
    // Required methods
    fn simple_subtract_edge_and_update_mucs(&mut self, edge: &Edge);
    fn maybe_simple_subtract_edge_and_update_mucs(
        &mut self,
        edge: &Edge,
        all_muc_edges: &Edges,
    );
    fn do_simple_subtraction_of_edges_and_update_mucs(
        &mut self,
        all_muc_edges: &Edges,
    );
}

Required Methods§

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§