Success vs Valid
Opened this issue · 0 comments
IMP1 commented
Currently the only check that a rule application has been successful is whether the resultant graph is valid.
Is it a good idea to allow rules to explicitly result in the invalid graph? If so, is that successful? If so, then some other measure of success is needed.