nfarule

Documentation

Overview

Package nfarule implements the transition function of NFA.

Index

• type RuleArgs
  • func NewRuleArgs(from utils.State, c rune) RuleArgs
• type RuleMap
  • func (r RuleMap) String() string

Types

type RuleArgs

type RuleArgs struct {
	From utils.State // from state
	C    rune        // input symbol
}

RuleArgs is a key for the map as transition function of NFA.

func NewRuleArgs

func NewRuleArgs(from utils.State, c rune) RuleArgs

NewRuleArgs returns a new RuleArgs.

type RuleMap

type RuleMap map[RuleArgs]mapset.Set

RuleMap represents a transition function of NFA. The key is a pair like "(from state, input symbol)". The value is a set of transition destination states when "input symbol" is received in "from state".

func (RuleMap) String

func (r RuleMap) String() string