家manbet体育手机客户端
检索有关SOS约束的信息。结果是一个元组，其中包含SOS类型（1或2）、参与的Var对象列表和相关SOS权重列表。
论据：
求救：感兴趣的SOS对象。
返回值：
包含SOS类型（1或2）、参与Var对象列表和相关SOS权重列表的元组。
用法示例：
（sostype、vars、weights）=model.getSOS
