| commit | a7c95bda6a4ce8ae2ef52b0ec4a77d47e25cedf7 | [log] [tgz] |
|---|---|---|
| author | dkolovos <dkolovos@cs.york.ac.uk> | Sun Jul 23 09:33:39 2017 +0100 |
| committer | dkolovos <dkolovos@cs.york.ac.uk> | Sun Jul 23 09:33:39 2017 +0100 |
| tree | 61884017e41f4608febfb532117ce337880ec9bc | |
| parent | cd62d232567803b716f703760a2cd9a2df22d098 [diff] |
Added a getter for nameExpression