Currently, both get_rep and visit check to see if the representation is stale. This should happen in just one place - the visit. That will make the get_rep a lot simpler.
What is in there now works, but it isn't ideal because the check on rep being stale is now done in two places.
Currently, both
get_rep
andvisit
check to see if the representation is stale. This should happen in just one place - the visit. That will make theget_rep
a lot simpler.What is in there now works, but it isn't ideal because the check on
rep
being stale is now done in two places.