通过 J# 求解约束条件

领测软件测试网

add 约束条件与此类似。

// file: add.jsl
public class add implements IConstraint
{
  private variable addend;
  private variable augend;
  private variable sum;

  public add(variable v1, variable v2, variable v3)
  {
    addend = v1;
    augend = v2;
    sum    = v3;

    addend.connect(this);
    augend.connect(this);
    sum.connect(this);
  }

  public void valueChanged()
  {
    if (addend.has_value() && augend.has_value())
    {
      sum.set_value(addend.get_value() + augend.get_value(), this);
    }
    else if (addend.has_value() && sum.has_value())
    {
      augend.set_value(sum.get_value() - addend.get_value(), this);
    }

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