Sos.getIdx()

获取SOS约束的索引值。

概要

int getIdx()

返回值

SOS约束的索引值。

Sos.getIIS()

获取SOS约束的IIS状态。

概要

int getIIS()

返回值

IIS状态。

Sos.remove()

从模型中删除SOS约束。

概要

void remove()