通过 J# 求解约束条件

领测软件测试网

  public void valueChanged()
  {
    System.out.println(name + ": " + val.get_value());
  }
  
  public void reset()
  {
    System.out.println(name + ": " + val.get_value());
  }
}

我们现在可以挂钩该网络，并且将 tap 应用于我们想要监视的所有变量。

// file: cf.jsl
public class cf
{
  public static void cfconverter(variable c, variable f)
  {
    variable u  = new variable();    tap tu = new tap(u, "tu");
    variable k  = new variable();    tap tk = new tap(k, "tk");
    constant c1 = new constant(9, k);
    multiply m1 = new multiply(c, k, u);

    variable l  = new variable();    tap tl = new tap(l, "tl");
    constant c2 = new constant(5, l);

    variable v  = new variable();    tap tv = new tap(v, "tv");
    multiply m2 = new multiply(v, l, u);

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