NAMEDETAILS: A System for the Control of Wheat Trucks
9 Pages1345 Words397 Views
Added on 2020-03-23
About This Document
Wheat Truck Control System [NAMEDETAILS, NAME, REGISTER, ADDRESS, NUMBER, NATIONALITY] REPORT: = Silos exists | New silos entered | Truck Exists OUTPUT:: = Error Silos, full scapacity farmer or | OK | Error in farmer, delivery numbers or silos | Truck Register is not exist in WTC | No qtrucks | Truck not in ssqueue?
NAMEDETAILS: A System for the Control of Wheat Trucks
Added on 2020-03-23
BookmarkShareRelated Documents
Wheat Truck Control System [NAMEDETAILS, NAME, REGISTER, ADDRESS, NUMBER, NATIONALITY]REPORT: = Silos exists | New silos entered | Truck ExistsOUTPUT:: = Error Silos, full scapacity farmer or | OK| Error in farmer, delivery numbers or silos | Truck Register is not exist in WTC | No qtrucks | Truck not in ssqueueVEHICLE TYPES ::= TRUCKS | SHIPSSOPERATION TYPE ::= LOADS | OFFLOADSWheat Truck Control_statescapacity: NAMEDETAILS ⇸Spresent storage: NAMEDETAILS ⇸ Snext silo_load : NAMEDETAILS ⇸seq Spresent_soperation: NAMEDETAILS ⇸ Snext_silos_scount: NAMEDETAILS ⇸ Sfarmer_address: NAME ⇸ ADDRESSnumber : NAME ⇸ NUMBERtrucks owner : REGISTER ⇸ NAMEempty_wght : REGISTER ⇸ Svehicle: REGISTER ⇸ VEHTYPEglobal_next_load : Sscount_silos: S ⇸ Sscapacity_load: S ⇸ Sreg_load: S ⇸ REGISTERWheat Truck Control_statesilo_load: S⇸ NAMEDETAILSfarmer_load: S⇸ NAME
load_type : S ⇸ OPTYPEnationality : REGISTER ⇸ NATIONALITYships_cap : REGISTER ⇸ Soffload_silo: S ⇸ REGISTER dom scapacity= dom present storage= dom next_silos_scountran silo_load dom scapacitydom next silo_load dom scapacitydom present_soperation dom scapacitydom farmer_addr= dom numberdom trucks owner = dom empty_weight = dom vehicletypedom scapacity_loading = dom reg_loading= dom farmer_loading= dom silo_loading= dom loading_silos_num = dom scount_silos= dom loading_typedom offloading_silo dom scapacity_loading Init∆ Wheat Truck Control_statedom scapacity= ∅dom farmer_addr= ∅dom trucks owner = ∅dom scapacity_load = ∅dom offload_silo= ∅global_next_load = ∅ Enter_silos∆ Wheat Truck Control_statenamedetails? : NAMEDETAILScap? : S1
namedetails? dom scapacityscapacity' = scapacityU { namedetails? ⇸cap?}current_storage' = present storageU { namedetails? ⇸0}next_silos_scount' = next_silos_scount U { namedetails? ⇸1}next silo_load' = next silo_load U { namedetails? ⇸ 0}present_soperation' = present_soperation U { namedetails? ⇸0} Enter_OKoutput! : REPORToutput! = New silos entered Enter_error Wheat Truck Control _statenamedetails? : NAMEDETAILSoutput! : REPORTnamedetails? dom scapacityoutput! = Silos Already ExistsEnter_new_silos = ( Enter_silos Enter_OK ) v Enter_error Room_for_deliveryWheat Truck Control _states_name? : sNAMEDETAILSReg.? : sREGISTERtruck_totalamt? : Sfarmer? : NAMEtemp1_ssqueue_loads : seg SsWaiting: Sactual_amt : Soutput! : OUTPUT
End of preview
Want to access all the pages? Upload your documents or become a member.