elevator_model :-

	ard_att_add('Elavator'),
 	ard_property_add(['Elavator']),

	ard_att_add('CurrentElevatorDirection'),
	ard_att_add('LastElevatorDirection'),
	ard_att_add('IsHigherFloorSelectedFromCabin'),
	ard_att_add('IsLowerFloorSelectedFromCabin'),
	ard_att_add('IsThisFloorSelectedFromCabin'),
	ard_att_add('CallElevatorFromHigherFloorToGoUp'),
	ard_att_add('CallElevatorFromHigherFloorToGoDown'),
	ard_att_add('CallElevatorFromLowerFloorToGoUp'),
	ard_att_add('CallElevatorFromLowerFloorToGoDown'),
	ard_att_add('CallElevatorFromActualFloorToGoUp'),
	ard_att_add('CallElevatorFromActualFloorToGoDown'),
	ard_att_add('WhereToGo'),	 	
 	ard_finalize(['Elavator'],['CurrentElevatorDirection','LastElevatorDirection','IsHigherFloorSelectedFromCabin','IsLowerFloorSelectedFromCabin','IsThisFloorSelectedFromCabin','CallElevatorFromHigherFloorToGoUp','CallElevatorFromHigherFloorToGoDown','CallElevatorFromLowerFloorToGoUp','CallElevatorFromLowerFloorToGoDown','CallElevatorFromActualFloorToGoUp','CallElevatorFromActualFloorToGoDown','WhereToGo']),

	ard_split(['CurrentElevatorDirection','LastElevatorDirection','IsHigherFloorSelectedFromCabin','IsLowerFloorSelectedFromCabin','IsThisFloorSelectedFromCabin','CallElevatorFromHigherFloorToGoUp','CallElevatorFromHigherFloorToGoDown','CallElevatorFromLowerFloorToGoUp','CallElevatorFromLowerFloorToGoDown','CallElevatorFromActualFloorToGoUp','CallElevatorFromActualFloorToGoDown','WhereToGo'],
		  [['CurrentElevatorDirection'],['LastElevatorDirection'],['IsHigherFloorSelectedFromCabin'],['IsLowerFloorSelectedFromCabin'],['IsThisFloorSelectedFromCabin'],['CallElevatorFromHigherFloorToGoUp'],['CallElevatorFromHigherFloorToGoDown'],['CallElevatorFromLowerFloorToGoUp'],['CallElevatorFromLowerFloorToGoDown'],['CallElevatorFromActualFloorToGoUp'],['CallElevatorFromActualFloorToGoDown'],['WhereToGo']],
		  [
		   [['CurrentElevatorDirection'],['WhereToGo']],
		   [['LastElevatorDirection'],['WhereToGo']],
		   [['IsHigherFloorSelectedFromCabin'],['WhereToGo']],
		   [['IsLowerFloorSelectedFromCabin'],['WhereToGo']],
		   [['IsThisFloorSelectedFromCabin'],['WhereToGo']],
		   [['CallElevatorFromHigherFloorToGoUp'],['WhereToGo']],
		   [['CallElevatorFromHigherFloorToGoDown'],['WhereToGo']],
		   [['CallElevatorFromLowerFloorToGoUp'],['WhereToGo']],
		   [['CallElevatorFromLowerFloorToGoDown'],['WhereToGo']],
		   [['CallElevatorFromActualFloorToGoUp'],['WhereToGo']],		   
		   [['CallElevatorFromActualFloorToGoDown'],['WhereToGo']]
		  ]),	  
		  	  				  
	ard_att_add(currentElevatorDirection),
	ard_att_add(lastElevatorDirection),
	ard_att_add(isHigherFloorSelectedFromCabin),
	ard_att_add(isLowerFloorSelectedFromCabin),
	ard_att_add(isThisFloorSelectedFromCabin),
	ard_att_add(callElevatorFromHigherFloorToGoUp),
	ard_att_add(callElevatorFromHigherFloorToGoDown),
	ard_att_add(callElevatorFromLowerFloorToGoUp),
	ard_att_add(callElevatorFromLowerFloorToGoDown),
	ard_att_add(callElevatorFromActualFloorToGoUp),
	ard_att_add(callElevatorFromActualFloorToGoDown),
	ard_att_add(whereToGo),
 	
 	ard_finalize(['CurrentElevatorDirection'],[currentElevatorDirection]),	
	ard_finalize(['LastElevatorDirection'],[lastElevatorDirection]),
	ard_finalize(['IsHigherFloorSelectedFromCabin'],[isHigherFloorSelectedFromCabin]), 	
 	ard_finalize(['IsLowerFloorSelectedFromCabin'],[isLowerFloorSelectedFromCabin]),
 	ard_finalize(['IsThisFloorSelectedFromCabin'],[isThisFloorSelectedFromCabin]),
 	ard_finalize(['CallElevatorFromHigherFloorToGoUp'],[callElevatorFromHigherFloorToGoUp]),
 	ard_finalize(['CallElevatorFromHigherFloorToGoDown'],[callElevatorFromHigherFloorToGoDown]),
 	ard_finalize(['CallElevatorFromLowerFloorToGoUp'],[callElevatorFromLowerFloorToGoUp]),
 	ard_finalize(['CallElevatorFromLowerFloorToGoDown'],[callElevatorFromLowerFloorToGoDown]),
 	ard_finalize(['CallElevatorFromActualFloorToGoUp'],[callElevatorFromActualFloorToGoUp]),
 	ard_finalize(['CallElevatorFromActualFloorToGoDown'],[callElevatorFromActualFloorToGoDown]),
 	ard_finalize(['WhereToGo'],[whereToGo]).    	

:- elevator_model.