method draw state vertex fig enclos fig redraw enclos fig editor editor global cur editor editor enclos fig layer diagram lai layer diagram editor layer manag activ layer fig enclos fig lai bring fig node fig node fn fig node iter fn fig edg iter lai bring fig edg fn fig state vertex fig state vertex fn redraw enclos fig 