Closed patham9 closed 2 years ago
Feature unnecessary since no one will look at RuleTable.c anyway, and even with comments it's not clear why the generated code part implements the rule without also commenting on the atom numbers which are checked for in order to check for premise structure.
TODO: remove str and xstr macros definition, I didn't use them in the end