62     def num_children(self):  member in StdListSynthProvider
110         if index >= self.num_children():
164         def num_children(self):  member in StdVectorSynthProvider.StdVectorImplementation
195                 num_children = (finish_val - start_val)
196                 if (num_children % self.data_size) != 0:
199                     num_children = num_children // self.data_size
200                 return num_children
209             if index >= self.num_children():
247         def num_children(self):  member in StdVectorSynthProvider.StdVBoolImplementation
257             if index >= self.num_children():
298     def num_children(self):  member in StdVectorSynthProvider
299         return self.impl.num_children()
382     def num_children(self):  member in StdMapSynthProvider
413         if index >= self.num_children():
450         max_steps = self.num_children()