%AN_ACTION; : Action

Java class : leon.info.LyAction

ROLE

This entity allows to define the different types of actions. 

ELEMENTS

<!ENTITY % AN_ACTION 
	  (ACTION |
	   COMPOUND_ACTION |
	   TAB_ACTION)>
Element Mand. Mult. Description
ACTION yes no Simple action.
COMPOUND_ACTION yes no Compound action.
TAB_ACTION yes no Action with tabs.