Revision as of 09:57, 4 August 2015 edit Wonderfl (talk \| contribs) Extended confirmed users 5,845 edits move "history" to lead ← Previous edit		Revision as of 09:57, 4 August 2015 edit undo Wonderfl (talk \| contribs) Extended confirmed users 5,845 edits →SERE-style Operators Next edit →
Line 23: [[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 ({{color\|red\|;}}), Kleene-closure ({{color\|red\|}}), and union ({{color\|red\|{{code\|{{!}}}}}}), as well as operator for fusion ({{color\|red\|:}}), intersection ({{color\|red\|&&}}) and a weaker version ({{color\|red\|&}}), and many variations for counting {{color\|red\|[n]}}, {{color\|red\|[->n]}}, {{color\|red\|[=n]}}.

Property Specification Language: Difference between revisions