Trait ParametricSystem 

pub trait ParametricSystem {
    type Rule: ParametricRule;

    // Required method
    fn apply_first_rule(
        &self,
        sym: &<Self::Rule as ParametricRule>::OutSym,
    ) -> Option<Vec<<Self::Rule as ParametricRule>::OutSym>>;

    // Provided methods
    fn develop_next(
        &self,
        axiom: &Vec<<Self::Rule as ParametricRule>::OutSym>,
    ) -> (Vec<<Self::Rule as ParametricRule>::OutSym>, usize) { ... }
    fn develop(
        &self,
        axiom: Vec<<Self::Rule as ParametricRule>::OutSym>,
        max_iterations: usize,
    ) -> (Vec<<Self::Rule as ParametricRule>::OutSym>, usize) { ... }
}

Required Associated Types

type Rule: ParametricRule

Required Methods

fn apply_first_rule( &self, sym: &<Self::Rule as ParametricRule>::OutSym, ) -> Option<Vec<<Self::Rule as ParametricRule>::OutSym>>

Provided Methods

fn develop_next( &self, axiom: &Vec<<Self::Rule as ParametricRule>::OutSym>, ) -> (Vec<<Self::Rule as ParametricRule>::OutSym>, usize)

Apply in parallel the first matching rule to each symbol in the string. Returns the total number of rule applications.

fn develop( &self, axiom: Vec<<Self::Rule as ParametricRule>::OutSym>, max_iterations: usize, ) -> (Vec<<Self::Rule as ParametricRule>::OutSym>, usize)

Develop the system starting with axiom up to max_iterations. Return iteration count.

Implementors

impl<A, R> ParametricSystem for PDualMapSystem<A, R>

where A: DualAlphabet, R: ParametricRule, <R as ParametricRule>::InSym: ParametricSymbol<Sym = A>, <R as ParametricRule>::OutSym: ParametricSymbol<Sym = A>,

type Rule = R

impl<R> ParametricSystem for PSystem<R>

where R: ParametricRule,

type Rule = R