use ebi_objects::{
AutomatonState, ebi_bpmn::BPMNMarking, ebi_objects::process_tree::TreeMarking, marking::Marking,
};
use std::{
fmt::{Debug, Display},
hash::Hash,
};
pub trait Displayable: Hash + Clone + Eq + Display + Debug + Send + Sync {}
impl Displayable for usize {}
impl Displayable for TreeMarking {}
impl Displayable for Marking {}
impl Displayable for BPMNMarking {}
impl Displayable for AutomatonState {}