[−][src]Struct rustomaton::regex::Regex
Represents a regex.
Implementations
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> Regex<V>
[src]
pub fn simplify(self) -> Regex<V>
[src]
Simplify the regex.
pub fn contains(&self, other: &Regex<V>) -> bool
[src]
A contains B if and only if for each word
w, if B accepts
w then A accepts
w.
impl Regex<char>
[src]
pub fn parse_with_alphabet(
alphabet: HashSet<char>,
regex: &str
) -> Result<Regex<char>, String>
[src]
alphabet: HashSet<char>,
regex: &str
) -> Result<Regex<char>, String>
Returns the Regex
Trait Implementations
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> Add<Regex<V>> for Regex<V>
[src]
type Output = Self
The resulting type after applying the +
operator.
fn add(self, other: Regex<V>) -> Regex<V>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> Buildable<V> for Regex<V>
[src]
fn unite(self, b: Regex<V>) -> Regex<V>
[src]
fn concatenate(self, b: Regex<V>) -> Regex<V>
[src]
fn kleene(self) -> Regex<V>
[src]
fn at_most(self, u: usize) -> Regex<V>
[src]
fn at_least(self, u: usize) -> Regex<V>
[src]
fn repeat<R: RangeBounds<usize>>(self, r: R) -> Regex<V>
[src]
impl<V: Clone + Eq + Hash + Display + Copy + Debug> Clone for Regex<V>
[src]
impl<V: Debug + Eq + Hash + Display + Copy + Clone> Debug for Regex<V>
[src]
impl FromStr for Regex<char>
[src]
Returns the Regex
type Err = String
The associated error which can be returned from parsing.
fn from_str(s: &str) -> Result<Regex<char>, String>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> Mul<Regex<V>> for Regex<V>
[src]
type Output = Self
The resulting type after applying the *
operator.
fn mul(self, other: Regex<V>) -> Regex<V>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> PartialEq<Automaton<V>> for Regex<V>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> PartialEq<DFA<V>> for Regex<V>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> PartialEq<NFA<V>> for Regex<V>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> PartialEq<Regex<V>> for Automaton<V>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> PartialEq<Regex<V>> for DFA<V>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> PartialEq<Regex<V>> for NFA<V>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> PartialEq<Regex<V>> for Regex<V>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> PartialOrd<Regex<V>> for Regex<V>
[src]
fn partial_cmp(&self, other: &Regex<V>) -> Option<Ordering>
[src]
fn lt(&self, other: &Regex<V>) -> bool
[src]
fn le(&self, other: &Regex<V>) -> bool
[src]
fn gt(&self, other: &Regex<V>) -> bool
[src]
fn ge(&self, other: &Regex<V>) -> bool
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> ToDfa<V> for Regex<V>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> ToNfa<V> for Regex<V>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug> ToRegex<V> for Regex<V>
[src]
impl<V: Eq + Hash + Display + Copy + Clone + Debug + Ord> ToString for Regex<V>
[src]
Auto Trait Implementations
impl<V> RefUnwindSafe for Regex<V> where
V: RefUnwindSafe,
V: RefUnwindSafe,
impl<V> Send for Regex<V> where
V: Send,
V: Send,
impl<V> Sync for Regex<V> where
V: Sync,
V: Sync,
impl<V> Unpin for Regex<V> where
V: Unpin,
V: Unpin,
impl<V> UnwindSafe for Regex<V> where
V: RefUnwindSafe + UnwindSafe,
V: RefUnwindSafe + UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,