Open chrissi007 opened 5 years ago
As a response, I was not aware that the case description had changed. Therefore, the NMF solution only knows the original BDD model. Likewise, the solution does not print any more metrics although I agree that this would be a useful extension (and also easy to implement).
Regarding dead ends, yes, the solution wil produce dead ends in the BDD if the original truth table is not complete and sometimes even if it is. This is because there is no post-processing done. The solution does not really put a focus on optimality of the result, it is rather an excercise of integrating imperative code blocks into an incrementalized transformation.
NMF
NMF demonstrates his implicit incrementalization abilities to automatically create a binary decision tree from a truth table.
Structure
Small remarks
Metrics