Trait MarkingConstraint

pub trait MarkingConstraint {
    // Required method
    fn execute(&mut self, vis: &mut Visitor);
}

Required Methods

fn execute(&mut self, vis: &mut Visitor)

Implementors

impl MarkingConstraint for SimpleMarkingConstraint

impl<T> MarkingConstraint for T

where T: FnMut(&mut Visitor),