vendingmachine_model :-

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

	ard_att_add('Time'),	
	ard_att_add('Cash'),
	ard_att_add('Availability'), 	
 	ard_att_add('Activity'),
 	ard_finalize(['Vendingmachine'],['Time','Cash','Availability','Activity']), 

	ard_split(['Time','Cash','Availability','Activity'],
		  [['Time'],['Cash'],['Availability'],['Activity']],
		  [
		   [['Time'],['Activity']],
		   [['Cash'],['Activity']],
		   [['Availability'],['Activity']]
		  ]),
		  
    ard_att_add('CurrentTime'),
	ard_att_add('StartTime'),		  
	ard_att_add(timeOut),		  
	ard_finalize(['Time'],['CurrentTime','StartTime',timeOut]),
		    
    ard_split(['CurrentTime','StartTime',timeOut],
		  [['CurrentTime'],['StartTime'],['timeOut']],
		  [
		   [['CurrentTime'],['timeOut']],
		   [['StartTime'],['timeOut']],
		   [['timeOut'],['Activity']]
		  ]),
		  
    ard_att_add(startTime),
	ard_finalize(['StartTime'],[startTime]),
	
	ard_att_add(currentTime),
	ard_finalize(['CurrentTime'],[currentTime]),
		  
	ard_att_add('FundsInMachine'),
	ard_att_add('EnoughCashToChange'), 	
	ard_finalize(['Availability'],['FundsInMachine','EnoughCashToChange']),
	
	ard_split(['FundsInMachine','EnoughCashToChange'],
		  [['FundsInMachine'],['EnoughCashToChange']],
		  [
		   [['FundsInMachine'],['EnoughCashToChange']],
		   [['EnoughCashToChange'],['Activity']]
		  ]),
 	 	
 	ard_att_add('Remittance'),
	ard_att_add('PriceToPay'), 
 	ard_att_add('Change'),
 	ard_finalize(['Cash'],['Remittance','PriceToPay','Change']),
	
	ard_split(['Remittance','PriceToPay','Change'],
		  [['Remittance'],['PriceToPay'],['Change']],
		  [
		   [['PriceToPay'],['Change']],
		   [['Remittance'],['Change']],
		   [['Change'],['Activity']]
		  ]),		
		  
    ard_att_add('ChosenProduct'),
	ard_att_add('Pricelist'), 
	ard_att_add('Price'), 
	ard_finalize(['PriceToPay'],['ChosenProduct','Pricelist','Price']),
	ard_split(['ChosenProduct','Pricelist','Price'],
	  [['ChosenProduct'],['Pricelist'],['Price']],
	  [
	   [['ChosenProduct'],['Price']],
	   [['Pricelist'],['Price']],
	   [['Price'],['Change']]
	  ]),	
		  	   
	ard_att_add(fundsInMachine),
	ard_att_add(chosenProduct),
	ard_att_add(remittance),
	ard_att_add(enoughCashToChange),
	ard_att_add(change),
	ard_att_add(pricelist),
	ard_att_add(price),
	ard_att_add(activity),
	
	ard_finalize(['FundsInMachine'],[fundsInMachine]),
	ard_finalize(['ChosenProduct'],[chosenProduct]),
	ard_finalize(['Remittance'],[remittance]),
	ard_finalize(['EnoughCashToChange'],[enoughCashToChange]),
	ard_finalize(['Change'],[change]),
	ard_finalize(['Pricelist'],[pricelist]),
	ard_finalize(['Price'],[price]),
	ard_finalize(['Activity'],[activity]),

	ard_depend_add(['fundsInMachine'],['activity']),
	ard_depend_add(['change'],['enoughCashToChange']),
	
	ard_depend_add(['fundsInMachine'],['fundsInMachine']),
	ard_depend_add(['price'],['fundsInMachine']),
	ard_depend_add(['activity'],['fundsInMachine']).

:- vendingmachine_model.