Trait stemflow::RefDom

pub trait RefDom<A> where A: Access, Self: Sized {
    fn is_allowed(&self, access: &A) -> bool;
    fn allow(&self, acl: &Vec<A>) -> Option<Vec<A>>;
    fn reachable(&self, acl: &Vec<A>) -> Option<Self>;
    fn transition(self, target: Self) -> Option<Self>;
}

Required Methods

fn is_allowed(&self, access: &A) -> bool

fn allow(&self, acl: &Vec<A>) -> Option<Vec<A>>

fn reachable(&self, acl: &Vec<A>) -> Option<Self>

fn transition(self, target: Self) -> Option<Self>

Implementors

• impl<A> RefDom<A> for Arc<Domain<A>> where A: Access