Struct Rule 

pub struct Rule<A: Alphabet> {
    pub pattern: Module<A>,
    pub tokens: State<A>,
    pub probability: f32,
    pub previous: Option<A>,
    pub next: Option<A>,
    pub condition: Option<Condition>,
}

Fields

pattern: Module<A>

tokens: State<A>

probability: f32

previous: Option<A>

next: Option<A>

condition: Option<Condition>

Implementations

impl<A: Alphabet> Rule<A>

pub fn new<P: Into<Module<A>>, I: Into<Module<A>>, Iter: IntoIterator<Item = I>>( pattern: P, tokens: Iter, ) -> Rule<A>

pub fn with_previous(self, prev: Option<A>) -> Self

pub fn with_next(self, next: Option<A>) -> Self

pub fn with_probability(self, probability: f32) -> Self

pub fn with_condition(self, condition: Option<Condition>) -> Self

pub fn match_pattern( &self, pattern: &Module<A>, context: &Context<'_, A>, params: &Variables, variables: &Variables, ) -> bool

pub fn produce(&self, params: &Variables, variables: &Variables) -> State<A>

Trait Implementations

impl<A: Clone + Alphabet> Clone for Rule<A>

fn clone(&self) -> Rule<A>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A: Debug + Alphabet> Debug for Rule<A>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<A: PartialEq + Alphabet> PartialEq for Rule<A>

fn eq(&self, other: &Rule<A>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<A: Alphabet> StructuralPartialEq for Rule<A>