rexen/nfa/state

Types

pub type Matcher {
  CharacterMatcher(char: String)
  EpsilonMatcher
  AnyMatcher
}

Constructors

  • CharacterMatcher(char: String)
  • EpsilonMatcher
  • AnyMatcher
pub type State {
  State(name: String, transitions: List(Transition))
}

Constructors

  • State(name: String, transitions: List(Transition))
pub type Transition =
  #(Matcher, String)

Functions

pub fn add_transition(
  transitions: List(#(Matcher, String)),
  transition: #(Matcher, String),
) -> List(#(Matcher, String))
pub fn is_epsilon(m: Matcher) -> Bool
pub fn matches(m: Matcher, c: String) -> Bool
pub fn new(name: String) -> State
Search Document