[−][src]Trait mlsub::cons::Constructor

pub trait Constructor: Clone + PartialOrd {
    type Component: Ord + Clone;
    type Label: Label;
    fn component(&self) -> Self::Component;

    fn join(&mut self, other: &Self, pol: Polarity);

    fn visit_params_intersection<F, E>(
        &self, 
        other: &Self, 
        visit: F
    ) -> Result<(), E>
    where
        F: FnMut(Self::Label, &StateSet, &StateSet) -> Result<(), E>;

    fn map<F>(self, mapper: F) -> Self
    where
        F: FnMut(Self::Label, StateSet) -> StateSet;
}

Associated Types

type Component: Ord + Clone

type Label: Label

Loading content...

Required methods

fn component(&self) -> Self::Component

fn join(&mut self, other: &Self, pol: Polarity)

fn visit_params_intersection<F, E>(
    &self,
    other: &Self,
    visit: F
) -> Result<(), E> where
    F: FnMut(Self::Label, &StateSet, &StateSet) -> Result<(), E>, 

Visit the common type parameters of two constructors.

fn map<F>(self, mapper: F) -> Self where
    F: FnMut(Self::Label, StateSet) -> StateSet, 

Loading content...

Implementors

Loading content...