Skip to main content

PortalTransitionRelations

uqa_sql::binding::portals

Trait PortalTransitionRelations 

Source 
pub trait PortalTransitionRelations {
    // Required method
    fn active_transition_relation_names(&self) -> BTreeSet<String>;
}

Required Methods§

Source

fn active_transition_relation_names(&self) -> BTreeSet<String>

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§