主要内容

slreq.inlinks.

获取需求或其他可链接项的传入链接

在页面上崩溃

句法

ks = slreq.inlinks（节点）

描述

例子

ks.= slreq.inlinks（节点的）返回传入链接ks.， 一个关联或者关联阵列，到节点， 一个要求那参考，或其他可连接项目。

例子

全部收缩

此示例使用：

打开直播脚本

此示例显示如何确定模型对象的需求和传出链接的传入链接。点击打开直播脚本按钮获取示例文件的副本。

负载模型和要求集

load_system（'reqs_validation_property_proving_original_model'）;rqset = slreq.load（'原始_thrust_reverser_requirements.slreqx'）;

从集合中获取要求

req = slreq.find（'类型'那'要求'那'概括'那'最大节气门阈值'）;

确定要求的传入链接

LKIN = SLREQ.INLINKS（REQ）
LKIN =与属性的链接：类型：'实现'描述：'R11：最大限制阈值（Oricalind_thrust_reverser_requirements＃11）'关键词：{}理由：'''创造函数：25-mar-2019 16:10:06 createdBy：'Asriram'Modifiedon：25-Mar-2019 16:10:06 ModifiedBy：'Asriram'修订：14 SID：52评论：[0x0 struct]

确定传入链接源

lksrc = source（lek）;

将链接源转换为模型对象

mo = slreq.structtoobj（lksrc）;

确定模型对象的传出链接

lkout = slreq.outlinks（mo）
lkout =与属性的链接：类型：'实现'描述：'r11：最大节气门阈值（trounle_thrust_reverser_requirements＃11）'关键词：{}理由：''''s termente：'''createdon：25-mar-2019 16:10:06 createdBy：'Asriram'Modifiedon：25-Mar-2019 16:10:06 ModifiedBy：'Asriram'修订：14 SID：52评论：[0x0 struct]

关闭文件

slreq.clear;bdclose.全部;

输入参数

全部收缩

可具有传入需求链接的可链接项。常见的例子包括一个要求或者参考。可以是输出寻找。

例子：要求属性

数据类型：塑造

输出参数

全部收缩

一个关联或者关联数组传入到可链接项。

也可以看看

|

介绍在R2017B.

万博1manbetxSimulink要求文档

万博1manbetx

使用Simulink自动化验证和验证万博1manbetx

使用Simulink自动化验证和验证万博1manbetx

获取资源