summaryrefslogtreecommitdiff
path: root/instr-to-kodkod/parser/PropertyParser.g4
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-13 13:02:37 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-13 13:02:37 +0200
commitd798d3d9a0ecf50ceba0d55645bc7ff626ed72e9 (patch)
treed36d01d83c82f68d78c60b13b8ef4a500e71248f /instr-to-kodkod/parser/PropertyParser.g4
parentd18ca72caf2004c7725b3de670c7397c5bf85eb4 (diff)
Adds more (rather simple) properties.
Diffstat (limited to 'instr-to-kodkod/parser/PropertyParser.g4')
0 files changed, 0 insertions, 0 deletions