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.
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.