Skip to content

HOA output: support the colored property

The HOA output procedure is already making one preliminary pass on all transitions, so it could detect at little cost whether property: colored hold, and output it.