[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Specification domain
data specification 
   using Agents
   domain
   = User with isUser | User_Airline with isUser_Airline | User_TravelAgency_Airline with isUser_TravelAgency_Airline | 
     User->User_Airline with isUser->User_Airline | HighLow5 with isHighLow5 | Abort8 with isAbort8 | Abort9 with isAbort9
   ;
   variables 
      domvar, domvar0, domvar1 : domain; 
end data specification