Issue158

Title refactoring: unify axiom and operator data structures
Priority wish Status resolved
Superseder Nosy List malte
Assigned To Keywords
Optional summary

Created on 2010-12-17.15:27:58 by malte, last changed by malte.

Messages
msg3645 (view) Author: malte Date: 2014-10-04.20:06:48
Many things have changed in the code since this one was opened -- closing it.
msg883 (view) Author: malte Date: 2010-12-17.15:27:57
There's currently quite a bit of code duplication between axioms and operators. 

These classes should be unified in some way.
History
Date User Action Args
2014-10-04 20:06:48maltesetstatus: chatting -> resolved
messages: + msg3645
2010-12-17 15:27:58maltecreate