I have added comments for each transformation function about what it is doing. The documentation is mostly taken from the holman paper and modified to match the behavior of the functions. Also, other minor updates like formatting, function naming and some function locations have been made. The functions that were defined in the rte-helpers.metta file but are only used in a single file have been moved to that file.
I have also added two more test cases that were edge cases for the promote-common-constraint and zero-constraint-subsumption transformation rules. They are commented out for now but a fix is under way.
I have also add few helper functions that will be useful for rte implementation.
Motivation and Context
The main motivation of this context is to keep the code consistency and improved code readability.
How Has This Been Tested?
I run all the test cases locally and everything is working fine after the update.
Checklist:
[x] My code follows the code style of this project.
Description
I have added comments for each transformation function about what it is doing. The documentation is mostly taken from the holman paper and modified to match the behavior of the functions. Also, other minor updates like formatting, function naming and some function locations have been made. The functions that were defined in the
rte-helpers.mettafile but are only used in a single file have been moved to that file.I have also added two more test cases that were edge cases for the
promote-common-constraintandzero-constraint-subsumptiontransformation rules. They are commented out for now but a fix is under way.I have also add few helper functions that will be useful for rte implementation.
Motivation and Context
The main motivation of this context is to keep the code consistency and improved code readability.
How Has This Been Tested?
I run all the test cases locally and everything is working fine after the update.
Checklist: