@@ -136,11 +136,7 @@ private LinkedList addHyperLinkConstraintSub(
136136 }
137137 headhl .add (name .toString ());
138138 SrcAtom newg = new SrcAtom ("hlink" , newl );
139- // or の受理のため,linkedlist の linkedlist になっているはずなので変更 imagawa
140- for (Object i : guard ) {
141- LinkedList tmp = (LinkedList ) i ;
142- tmp .add (newg );
143- }
139+ guard .add (newg );
144140
145141 } else if (o instanceof SrcAtom ) {
146142 SrcAtom sa = (SrcAtom ) o ;
@@ -166,11 +162,7 @@ private LinkedList addHyperLinkConstraintSub(
166162 }
167163 headhl .add (name .toString ());
168164 SrcAtom newg = new SrcAtom ("new" , newl );
169- // or の受理のため,linkedlist の linkedlist になっているはずなので変更 imagawa
170- for (Object i : guard ) {
171- LinkedList tmp = (LinkedList ) i ;
172- tmp .add (newg );
173- }
165+ guard .add (newg );
174166 }
175167 } else if (o instanceof SrcAtom ) {
176168 SrcAtom sa = (SrcAtom ) o ;
@@ -200,38 +192,22 @@ public void addTypeConstraint(LinkedList l) {
200192 LinkedList newl = new LinkedList ();
201193 newl .add (new SrcLink (sl .name ));
202194 SrcAtom newg = new SrcAtom ("int" , newl );
203- // or の受理のため,linkedlist の linkedlist になっているはずなので変更 imagawa
204- for (Object i : guard ) {
205- LinkedList tmp = (LinkedList ) i ;
206- tmp .add (newg );
207- }
195+ guard .add (newg );
208196 } else if (sl .name .matches ("^_G.*" )) { // ground
209197 LinkedList newl = new LinkedList ();
210198 newl .add (new SrcLink (sl .name ));
211199 SrcAtom newg = new SrcAtom ("ground" , newl );
212- // or の受理のため,linkedlist の linkedlist になっているはずなので変更 imagawa
213- for (Object i : guard ) {
214- LinkedList tmp = (LinkedList ) i ;
215- tmp .add (newg );
216- }
200+ guard .add (newg );
217201 } else if (sl .name .matches ("^_S.*" )) { // string
218202 LinkedList newl = new LinkedList ();
219203 newl .add (new SrcLink (sl .name ));
220204 SrcAtom newg = new SrcAtom ("string" , newl );
221- // or の受理のため,linkedlist の linkedlist になっているはずなので変更 imagawa
222- for (Object i : guard ) {
223- LinkedList tmp = (LinkedList ) i ;
224- tmp .add (newg );
225- }
205+ guard .add (newg );
226206 } else if (sl .name .matches ("^_U.*" )) { // unary
227207 LinkedList newl = new LinkedList ();
228208 newl .add (new SrcLink (sl .name ));
229209 SrcAtom newg = new SrcAtom ("unary" , newl );
230- // or の受理のため,linkedlist の linkedlist になっているはずなので変更 imagawa
231- for (Object i : guard ) {
232- LinkedList tmp = (LinkedList ) i ;
233- tmp .add (newg );
234- }
210+ guard .add (newg );
235211 }
236212 } else if (o instanceof SrcAtom ) {
237213 SrcAtom sa = (SrcAtom ) o ;
0 commit comments