变量不需要与其他的状态变量共同参与不变约束

  • 2024-10-22