DOTDiff

taco_threshold_automaton::dot

Trait DOTDiff 

Source 
pub trait DOTDiff {
    // Required method
    fn get_dot_diff(&self, other: &Self) -> String;
}
Expand description

Visualize the difference between two objects in DOT format

This trait is only available if the dot feature is enabled. It allows to visualize the difference between two objects in DOT format, i.e., it marks added objects in green, removed objects in red, and unchanged locations and edges in black.

Required Methods§

Source

fn get_dot_diff(&self, other: &Self) -> String

Get the difference between two objects in DOT format

Returns the difference between two objects in DOT format, i.e., it marks added objects in green, removed objects in red, and unchanged locations and edges in black.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§