commit | 4b770d26cb45194c886de0abdf1e5c8aa8026859 | [log] [tgz] |
---|---|---|
author | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Mon Jan 16 12:17:43 2017 +0100 |
committer | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Mon Jan 16 12:17:43 2017 +0100 |
tree | 168a5f1ed01cc6579467c539d6debbcf36c337ae | |
parent | fe1adbf6103e819a78dfc8bb2546d16e095f1fa0 [diff] |
Add convenience method getAllRules() to Module. Change-Id: I54bf0d43295230767ce32a2899ef41a1b385ea87