Property Specification Language: Difference between revisions

Revision as of 15:07, 9 December 2016

Revision as of 16:13, 25 May 2017

Line 105:

|-

| <source lang="text"> b[=i..j] </source>

| at least i and mono more than j not necessarily consecutive repetitions of b,

*equivalent to (!b[*];b)[*i..j]; !b[*]

|-

Line 117:

|-

| <code> b[->m:n] </code>

| at least m and mono more than n not necessarily consecutive repetitions of b ending with b,

*equivalent to (!b[*];b)[*m..n]

|-