:- ensure_loaded('varda').

varda_model_Wybor_Linii:- 

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

	ard_att_add(line),
	ard_att_add(reader),
	ard_att_add(temperature),
	ard_att_add(check),
	ard_att_add(recalibrate),
	
	ard_finalize(['AssemblyLine'],[line,reader,temperature,check]),
	
	ard_split([line,reader,temperature,check],
			[[line],[reader,temperature,check]],
			[[[line],[reader,temperature,check]]]),
	
	ard_split([reader,temperature,check],
			[[reader],[temperature],[check],[recalibrate]],
			[[[reader],[line]],[[temperature],[line]],[[check],[line]],
			[[recalibrate],[reader]],[[temperature],[check]]]),
			
	ard_depend_add([reader],[recalibrate]),
	ard_depend_add([recalibrate],[reader]),
	ard_depend_add([temperature],[check]).
	
:- varda_model_Wybor_Linii.