inferred_configuration.tdlan2

Package inferred_configuration {
	Import all from data ;
	Gate Type inferred_gate_type accepts position ;
	Component Type inferred_component_type having {
		gate inferred_gate of type inferred_gate_type ;
	}
	Test Configuration inferred_move_object {
		create Tester Controller of type inferred_component_type ;
		create SUT Object of type inferred_component_type ;
		connect Controller.inferred_gate to Object.inferred_gate ;
	}
}