Refactoring

Opened this issue 3 years ago · 0 comments

MichalHe commented 3 years ago

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

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
Fix typo in modulo term "coeficients -> coefficients"
Fix typo in relation "coeficients -> coefficients"