IISMinimal


IISMinimal

类型: int
修改: 没有

指示当前的不可约不一致子系统(IIS)是否最小。此属性仅在对不可行的模型计算IIS之后才可用。它通常取值1,但如果IIS计算提前停止(例如,由于时间限制或用户中断),它可能取值0。

有关如何查询或修改属性的示例,请参阅我们的属性的例子