named properties and in-place algorithms
If I call complete_here()
on the result of product()
, the resulting automaton still as a named property called "product-states", however this vector will not have an entry for the sink state added by complete_here()
.
I guess the safest convention would be that inplace algorithms should remove all named properties. We don't have an interface for that, but the code that does it could be moved out of tgba::~tgba
.