MichalHe / amaya

Mozilla Public License 2.0

7 stars 0 forks source link

Refactoring #4

Open MichalHe opened 2 years ago

MichalHe commented 2 years ago

This issue is for collecting various refactoring tasks that need to be performed

[x] Remove the automaton_id field from mtbdd_automata, mtbdd_transitions (including the C++ backend)
[ ] Move *automatons.py to *automata.py

Backlog

[ ] Move presburger expr into relations_structures
[x] Fix typo in modulo term "coeficients -> coefficients"
[x] Fix typo in relation "coeficients -> coefficients"