public void Multiply(IntVariable var) { Value *= var.Value; }
public void Add(IntVariable var) { Value += var.Value; }