通过 J# 求解约束条件

领测软件测试网

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

  public void reset()
  {
    addend.reset(this);
    augend.reset(this);
    sum.reset(this);
  }
}

作为其状态的一部分，变量保留值、它所参与的约束条件的列表以及用于设置它的值的约束条件。

// file: variable.jsl
import java.util.ArrayList;

public class variable
{
  private boolean   hasValue;
  private double    value;
  private ArrayList constraints;
  private IConstraint setter;

  public boolean has_value()
  {

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