However, just like with parallelism, each of the tools imposes restrictions on the structure of these loops in order to guarantee the correctness of the discovered model.

• 然而，就像对待平行一样，为了确保挖掘模型的正确性，每个工具都给这些循环结构强加了限制。