Revision as of 12:22, 30 June 2021 edit 109.186.47.26 (talk) →Sampling operator ← Previous edit		Revision as of 23:15, 21 December 2022 edit undo Sheep8144402 (talk \| contribs) Extended confirmed users, Rollbackers 33,760 edits m fix linter error (1x missing end tag) Next edit →
Line 21: [[File:The trigger operator - slide 2.jpg\|thumb\|path satisfying ''r triggers p'' in two non-overlapping ways]] [[File:The trigger operator - slide 3.jpg\|thumb\|path satisfying ''r triggers p'' in two overlapping ways]] [[File:The trigger operator - slide 4.jpg\|thumb\|path satisfying ''r triggers p'' in three ways]] The regular expressions of PSL have the common operators for concatenation ({{mono\|;}}), Kleene-closure ({{mono\|}}), and union ({{mono\|{{!}}}}), as well as operator for fusion ({{mono\|:}}), intersection ({{mono\|\&\&}}) and a weaker version ({{mono\|\&}}), and many variations for consecutive counting {{mono\|[n]}} and in-consecutive counting e.g. {{mono\|[{{=}}n]}} and {{mono\|[->n]}}.

Property Specification Language: Difference between revisions