marking4/re.scala
author Christian Urban <urbanc@in.tum.de>
Fri, 14 Dec 2018 14:41:54 +0000
changeset 245 975d34506e88
parent 227 b5f3e814a710
child 288 65731df141a5
permissions -rw-r--r--
added marking
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
// Part 1 about Regular Expression Matching
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
//==========================================
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
     4
//object CW9a {
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
     6
// Regular Expressions
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
abstract class Rexp
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
case object ZERO extends Rexp
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
case object ONE extends Rexp
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
case class CHAR(c: Char) extends Rexp
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
case class ALT(r1: Rexp, r2: Rexp) extends Rexp 
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
case class SEQ(r1: Rexp, r2: Rexp) extends Rexp 
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
case class STAR(r: Rexp) extends Rexp 
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
// some convenience for typing in regular expressions
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
import scala.language.implicitConversions    
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
import scala.language.reflectiveCalls 
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
def charlist2rexp(s: List[Char]): Rexp = s match {
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
  case Nil => ONE
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
  case c::Nil => CHAR(c)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
  case c::s => SEQ(CHAR(c), charlist2rexp(s))
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
}
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
implicit def string2rexp(s: String): Rexp = charlist2rexp(s.toList)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
implicit def RexpOps (r: Rexp) = new {
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
  def | (s: Rexp) = ALT(r, s)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
  def % = STAR(r)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
  def ~ (s: Rexp) = SEQ(r, s)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
}
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
implicit def stringOps (s: String) = new {
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
  def | (r: Rexp) = ALT(s, r)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
  def | (r: String) = ALT(s, r)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
  def % = STAR(s)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
  def ~ (r: Rexp) = SEQ(s, r)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
  def ~ (r: String) = SEQ(s, r)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
}
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    42
// (1) Complete the function nullable according to
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
// the definition given in the coursework; this 
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
// function checks whether a regular expression
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    45
// can match the empty string and Returns a boolean
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    46
// accordingly.
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
def nullable (r: Rexp) : Boolean = r match {
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
  case ZERO => false
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
  case ONE => true
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
  case CHAR(_) => false
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
  case ALT(r1, r2) => nullable(r1) || nullable(r2)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
  case SEQ(r1, r2) => nullable(r1) && nullable(r2)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
  case STAR(_) => true
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
}
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    57
// (2) Complete the function der according to
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
// the definition given in the coursework; this
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
// function calculates the derivative of a 
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    60
// regular expression w.r.t. a character.
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
def der (c: Char, r: Rexp) : Rexp = r match {
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
  case ZERO => ZERO
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
  case ONE => ZERO
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
  case CHAR(d) => if (c == d) ONE else ZERO
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
  case ALT(r1, r2) => ALT(der(c, r1), der(c, r2))
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
  case SEQ(r1, r2) => 
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
    if (nullable(r1)) ALT(SEQ(der(c, r1), r2), der(c, r2))
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
    else SEQ(der(c, r1), r2)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
  case STAR(r1) => SEQ(der(c, r1), STAR(r1))
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
}
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    73
// (3) Complete the simp function according to
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
// the specification given in the coursework; this
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    75
// function simplifies a regular expression from
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    76
// the inside out, like you would simplify arithmetic 
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    77
// expressions; however it does not simplify inside 
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    78
// STAR-regular expressions.
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
def simp(r: Rexp) : Rexp = r match {
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
  case ALT(r1, r2) => (simp(r1), simp(r2)) match {
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
    case (ZERO, r2s) => r2s
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
    case (r1s, ZERO) => r1s
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
    case (r1s, r2s) => if (r1s == r2s) r1s else ALT (r1s, r2s)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
  }
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
  case SEQ(r1, r2) =>  (simp(r1), simp(r2)) match {
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
    case (ZERO, _) => ZERO
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
    case (_, ZERO) => ZERO
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
    case (ONE, r2s) => r2s
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
    case (r1s, ONE) => r1s
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
    case (r1s, r2s) => SEQ(r1s, r2s)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
  }
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    93
  case r => r
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    94
}
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    95
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    96
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    97
// (4) Complete the two functions below; the first 
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
// calculates the derivative w.r.t. a string; the second
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
// is the regular expression matcher taking a regular
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
// expression and a string and checks whether the
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   101
// string matches the regular expression.
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   103
def ders (s: List[Char], r: Rexp) : Rexp = s match {
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   104
  case Nil => r
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   105
  case c::s => ders(s, simp(der(c, r)))
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   106
}
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   107
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   108
// main matcher function
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   109
def matcher(r: Rexp, s: String) = nullable(ders(s.toList, r))
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   110
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   111
// (5) Complete the size function for regular
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   112
// expressions according to the specification 
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   113
// given in the coursework.
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   114
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   115
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   116
def size(r: Rexp): Int = r match {
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   117
  case ZERO => 1
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   118
  case ONE => 1
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   119
  case CHAR(_) => 1
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   120
  case ALT(r1, r2) => 1 + size(r1) + size (r2)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   121
  case SEQ(r1, r2) => 1 + size(r1) + size (r2)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   122
  case STAR(r1) => 1 + size(r1)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   123
}
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   124
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   125
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   126
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   127
// some testing data
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   128
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   129
//matcher(("a" ~ "b") ~ "c", "abc")  // => true
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   130
//matcher(("a" ~ "b") ~ "c", "ab")   // => false
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   131
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
// the supposedly 'evil' regular expression (a*)* b
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   133
val EVIL = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   134
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   135
//matcher(EVIL, "a" * 1000 ++ "b")   // => true
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   136
//matcher(EVIL, "a" * 1000)          // => false
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   137
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   138
// size without simplifications
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   139
//size(der('a', der('a', EVIL)))             // => 28
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   140
//size(der('a', der('a', der('a', EVIL))))   // => 58
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   141
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   142
// size with simplification
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   143
//size(simp(der('a', der('a', EVIL))))           // => 8
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   144
//size(simp(der('a', der('a', der('a', EVIL))))) // => 8
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   145
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   146
// Python needs around 30 seconds for matching 28 a's with EVIL. 
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   147
// Java 9 and later increase this to an "astonishing" 40000 a's in
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   148
// around 30 seconds.
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   149
//
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   150
// Lets see how long it takes to match strings with 
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   151
// 5 Million a's...it should be in the range of a 
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   152
// couple of seconds.
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   153
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   154
def time_needed[T](i: Int, code: => T) = {
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   155
  val start = System.nanoTime()
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   156
  for (j <- 1 to i) code
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   157
  val end = System.nanoTime()
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   158
  (end - start)/(i * 1.0e9)
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   159
}
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   160
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   161
//for (i <- 0 to 5000000 by 500000) {
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   162
//  println(i + " " + "%.5f".format(time_needed(2, matcher(EVIL, "a" * i))) + " secs.") 
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   163
//}
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   164
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   165
// another "power" test case 
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   166
//simp(Iterator.iterate(ONE:Rexp)(r => SEQ(r, ONE | ONE)).drop(100).next) == ONE
168
03530cb87cd0 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   167
245
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   168
// the Iterator produces the rexp
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   169
//
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   170
//      SEQ(SEQ(SEQ(..., ONE | ONE) , ONE | ONE), ONE | ONE)
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   171
//
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   172
//    where SEQ is nested 100 times.
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   173
 
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   174
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   175
975d34506e88 added marking
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
   176
//}