70 " . r e f e r e e F u n c t i o n ( A r r ay L i s t<Ass ignment<Prop>>,A r r ayL i s t<B>)" ) ;
71 System . err . println ( " E r r o r : : a s s i g n I n i s n u l l " ) ; 72 System . exit **( 0 ) ;**
73 }
74 i f ( assignIn . size **( ) <1) {** 75 System . err . println ( **" E r r o r : : "+t h i s** . getClass **( ) .** getName **( ) +**
76 " . r e f e r e e F u n c t i o n ( A r r ay L i s t<Ass ignment<Prop>>,A r r ayL i s t<B>)" ) ;
77 System . err . println ( " E r r o r : : a s s i g n I n i s empty " ) ; 78 System . exit **( 0 ) ;**
79 }
80 81 **i n t** i ; 82 ArrayList <Assignment <Prop>> arbitrament**=new** ArrayList <Assignment <Prop **>>() ;**
83 Assignment <Prop> finalAssignment = new Assignment <Prop **>() ;**
84 Prop fusedProp=assignIn . get **( 0 ) .** attribute . clone **( ) ;** 85 finalAssignment . attribute=fusedProp ;
86 finalAssignment . value **= 1 . ;**
87 arbitrament . add ( finalAssignment ) ;
88 89 f o r ( i=1;i<assignIn . size ( ) ; i**++) {**
90 fusedProp . or ( fusedProp , assignIn . get ( i ) . attribute ) ;
91 }
92 **r e t u r n** arbitrament ;
93 } 94 95 }