Automatically enrich node attribute constraints when an automorphism is listed
j6k4m8 opened this issue · 1 comments
j6k4m8 commented
In the following case:
A -> C
B -> C
A.size >= 4
A === B
We should automatically enrich the B.size attribute constraints accordingly. This is also an opportunity for validators to sanity-check constraints:
A -> C
B -> C
A.size >= 4
B.size < 4
A === B
...should throw a validation error.
j6k4m8 commented
This is fixed by the new ID check strategy in v0.4.3