Interfaces
IAFAState IAnd IBinaryAFAState IFF IIfClosure INext INot INullaryAFAState IOr IProposition IRelease ITT IUnaryAFAState IUntil |
Enums
IAFAState.VariableKind |
Exceptions
IAFAState.ValidationException IIfClosure.UserCausedException |