equal
deleted
inserted
replaced
45 } |
45 } |
46 |
46 |
47 |
47 |
48 // for composing an eNFA transition with an NFA transition |
48 // for composing an eNFA transition with an NFA transition |
49 // | is for set union |
49 // | is for set union |
50 implicit def nfaOps(f: eNFAtrans) = new { |
50 extension (f: eNFAtrans) { |
51 def +++(g: NFAtrans) : eNFAtrans = |
51 def +++(g: NFAtrans) : eNFAtrans = |
52 { case (q, None) => applyOrElse(f, (q, None)) |
52 { case (q, None) => applyOrElse(f, (q, None)) |
53 case (q, Some(c)) => applyOrElse(f, (q, Some(c))) | applyOrElse(g, (q, c)) } |
53 case (q, Some(c)) => applyOrElse(f, (q, Some(c))) | applyOrElse(g, (q, c)) } |
54 } |
54 } |
55 |
55 |