-
* src/tgbaalgos/mask.cc, src/tgbaalgos/mask.hh: Rename transform_mask to accessible_mask. Add Copy version and use it in mask_keep_states(). * src/tgbatest/maskkeep.test: Update.
c61f053e
* src/tgbaalgos/mask.cc, src/tgbaalgos/mask.hh: Rename transform_mask to accessible_mask. Add Copy version and use it in mask_keep_states(). * src/tgbatest/maskkeep.test: Update.