summaryrefslogtreecommitdiff
path: root/instr-to-kodkod/parser/PropertyParser.g4
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-24 13:40:40 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-24 13:40:40 +0200
commit66cfd64a7ed0c3809e033b0976c17e95bc6c50ca (patch)
tree0c136b72a6084115013643f4a5ebf6af6e758494 /instr-to-kodkod/parser/PropertyParser.g4
parentfb0882b5e3622b762812f4ffe4688c7a344a02cd (diff)
Centralizes the processing of (read) expressions.
Diffstat (limited to 'instr-to-kodkod/parser/PropertyParser.g4')
0 files changed, 0 insertions, 0 deletions