HPS.HighlightStateArray

class HPS.HighlightStateArray : public HPS::InternalHPSArray<HPS.HighlightState>