Add 'genDecl' constraint in heads of toFunctionalCls* rules to handle incremental changes to respective classifier. Also fail instead of just reporting error to break execution and report on correct node according to calling rule. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||