通过 J# 求解约束条件

领测软件测试网

    variable m  = new variable();    tap tm = new tap(m, "tm");
    constant c3 = new constant(32, m);
    add a = new add(v, m, f);
  }

  public static void main(String[] args)
  {
    variable c = new variable();    tap tc = new tap(c, "c");

    variable f = new variable();    tap tf = new tap(f, "f");

    cfconverter(c, f);

    c.set_value(100, null);
    c.reset(null);
    f.set_value(32, null);
  }
}

当变量 c 被设置为值 100 时，请注意计算是如何传播直到 f 的值被报告为 212 的。此时，称该网络是完全受约束的。只是将 f 设置为新的值不会使该网络计算 c。该网络必须重置，以便松开所有约束条件。然后，我们可以设置 f 的值，以便计算 c。

完毕。

文章来源于领测软件测试网 https://www.ltesting.net/