c - 在 C 中传递变量值

Question

我有一个函数 formula(f) ，其中 f 是 TERM，TERM 是结构指针。此函数打印类似 forall([U,V],implies(U,V)] 的公式这些U和V是可变的。我需要传递这些变量中的值，并且必须根据变量值的组合生成公式。假设 U 和 V 的值为 2 和 2，那么它必须生成 4 个公式，如 forall([a_1,b_1]implies(a_1,b_1),forall([a_1,b_2]implies(a_1,b_2))等等...任何人都可以帮我如何生成它吗？

Answer 1

假设您的TERM结构具有U和V作为整数成员:

void formula(TERM* term) {
  int x = 0;
  int y = 0;
  for (x; x < (*term).U; ++x)
    for (y; y < (*term).J; ++y)
      printf("forall([a_%d,b_%d] implies(a_%d, b_%d))\n", x, y, x, y);
}

这是您要找的吗？