| changeset 640 | bd1354127574 |
| parent 639 | 80cc6dc4c98b |
| 639:80cc6dc4c98b | 640:bd1354127574 |
|---|---|
62 case class ASTAR(bs: Bits, r: ARexp) extends ARexp |
62 case class ASTAR(bs: Bits, r: ARexp) extends ARexp |
63 case class ANOT(bs: Bits, r: ARexp) extends ARexp |
63 case class ANOT(bs: Bits, r: ARexp) extends ARexp |
64 case class AANYCHAR(bs: Bits) extends ARexp |
64 case class AANYCHAR(bs: Bits) extends ARexp |
65 |
65 |
66 import scala.util.Try |
66 import scala.util.Try |
67 |
|
67 |
68 |
68 trait Generator[+T] { |
69 trait Generator[+T] { |
69 self => // an alias for "this" |
70 self => // an alias for "this" |
70 def generate(): T |
71 def generate(): T |
71 |
72 |
1633 // Sequ(Sequ(Sequ(Empty,Chr(b)),Stars(List(Chr(b), Chr(b)))),Sequ(Right(Stars(List(Right(Sequ(Sequ(Stars(List(Right(Chr(a)), Right(Chr(a)))),Sequ(Chr(a),Sequ(Left(Chr(b)),Sequ(Empty,Chr(b))))),Empty)), Right(Sequ(Sequ(Stars(List(Right(Chr(a)), Right(Chr(a)))),Sequ(Chr(a),Sequ(Left(Chr(b)),Sequ(Empty,Chr(b))))),Empty))))),Empty)) |
1634 // Sequ(Sequ(Sequ(Empty,Chr(b)),Stars(List(Chr(b), Chr(b)))),Sequ(Right(Stars(List(Right(Sequ(Sequ(Stars(List(Right(Chr(a)), Right(Chr(a)))),Sequ(Chr(a),Sequ(Left(Chr(b)),Sequ(Empty,Chr(b))))),Empty)), Right(Sequ(Sequ(Stars(List(Right(Chr(a)), Right(Chr(a)))),Sequ(Chr(a),Sequ(Left(Chr(b)),Sequ(Empty,Chr(b))))),Empty))))),Empty)) |
1634 |
1635 |
1635 |
1636 |
1636 |
1637 |
1637 |
1638 |
1639 def struct_regex(depth: Int) { |
|
1640 if(depth <= 0) { |
|
1641 ONE |
|
1642 } |
|
1643 else { |
|
1644 val dice = |
|
1645 } |
|
1646 } |
|
1638 |
1647 |
1639 def bders_bderssimp() { |
1648 def bders_bderssimp() { |
1640 |
1649 |
1641 |
1650 |
1642 val r = //(SEQ(ALTS(ONE,CHAR('c')), |
1651 val r = //(SEQ(ALTS(ONE,CHAR('c')), |