Struct DerivativeBuilder 

pub struct DerivativeBuilder { /* private fields */ }

A builder for calculating derivatives of regular expressions. The builder caches the derivatives of regular expressions w.r.t. to symbols. This can be useful when calculating the derivative of a regular expression w.r.t. to the same symbol multiple times.

Implementations

impl DerivativeBuilder

pub fn deriv(&mut self, r: &Regex, c: SmtChar, builder: &mut ReBuilder) -> Regex

Trait Implementations

impl Clone for DerivativeBuilder

fn clone(&self) -> DerivativeBuilder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DerivativeBuilder

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

Formats the value using the given formatter.

impl Default for DerivativeBuilder

fn default() -> DerivativeBuilder

Returns the “default value” for a type.