| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-27 11:25:42 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-27 11:25:42 +0200 |
| commit | 51edef030be94b7aa23631f7e40225c60878473f (patch) | |
| tree | f72e0167943e611f469e0600eadabb3b683519bd /instr-to-kodkod/parser/PropertyLexer.g4 | |
| parent | 3c5e716206f1a1161c5b28e6567987f6e74061e8 (diff) | |
First shot at depths operators.
Diffstat (limited to 'instr-to-kodkod/parser/PropertyLexer.g4')
| -rw-r--r-- | instr-to-kodkod/parser/PropertyLexer.g4 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/instr-to-kodkod/parser/PropertyLexer.g4 b/instr-to-kodkod/parser/PropertyLexer.g4 index 9fcad29..64fccb0 100644 --- a/instr-to-kodkod/parser/PropertyLexer.g4 +++ b/instr-to-kodkod/parser/PropertyLexer.g4 @@ -28,6 +28,9 @@ EF_OPERATOR_KW: '(EF' SEP; AU_OPERATOR_KW: '(AU' SEP; EU_OPERATOR_KW: '(EU' SEP; +DEPTH_NO_PARENT_OPERATOR_KW: '(does_not_reach_parent_before' SEP; +DEPTH_NO_CHANGE_OPERATOR_KW: '(does_not_change_depth_before' SEP; + WS: SEP; ID: [a-zA-Z0-9_]+; |