Sos::GetIdx()

获取SOS约束的索引值。

概要

int GetIdx()

返回值

SOS约束的索引值。

Sos::GetIIS()

获取SOS约束的IIS状态。

概要

int GetIIS()

返回值

IIS状态。

从模型中删除SOS约束。

概要

void Remove()