Propagate constraints on formally-notated node symmetries
j6k4m8 opened this issue · 0 comments
j6k4m8 commented
If I formally declare that two nodes are automorphic to one another, constraints from one should propagate to the other.
A -> B
B -> A
A === B
A.size = "big"
That is, B.size
should also have the constraint of B.size = "big"
.
This should happen BEFORE constraint validation steps, since there may be collisions:
A -> B
B -> A
A === B
A.size = "big"
B.size = "small" # collision!