196
196
sub.SubtractionLeg(5, 21, FINAL)
198
198
sub_1 = sub.CollStructure(
199
sub.SubtractionLeg(1, 1, INITIAL),
200
sub.SubtractionLeg(4, 21, FINAL) )
201
sub_2 = sub.SoftStructure(
202
sub.SubtractionLeg(14, 2, FINAL),
203
sub.SubtractionLeg(11, -2, FINAL) )
204
sub_3 = sub.CollStructure(
199
205
sub.SubtractionLeg(1, 1, INITIAL),
200
206
sub.SubtractionLeg(4, 21, FINAL),
201
207
sub.SubtractionLeg(5, 21, FINAL),
202
208
sub.SubtractionLeg(14, 2, FINAL),
203
209
sub.SubtractionLeg(11, -2, FINAL) )
204
sub_2 = sub.CollStructure(
205
sub.SubtractionLeg(1, 1, INITIAL),
206
sub.SubtractionLeg(4, 21, FINAL) )
207
sub_3 = sub.SoftStructure(
208
sub.SubtractionLeg(14, 2, FINAL),
209
sub.SubtractionLeg(11, -2, FINAL) )
210
210
dec = a_structure.decompose()
211
ben = {sub_1, sub_2, sub_3}
211
ben = [sub_1, sub_2, sub_3]
212
212
self.assertEqual(dec, ben)
214
214
def test_count_unresolved(self):