本页采用了机器翻译。点击此处可查看最新英文版本。

addAssumptionRow

将假设添加到 Requirements Table 模块

自 R2022a 起

全页折叠

语法

AssumptionRow = addAssumptionRow(reqTable)
AssumptionRow = addAssumptionRow(reqTable,Name=Value)

说明

AssumptionRow = addAssumptionRow(reqTable) 向 Requirements Table 模块添加一个假设，由 reqTable 指定。

AssumptionRow = addAssumptionRow(reqTable,Name=Value) 使用一个或多个名称值参量来添加假设。

示例

示例

全部折叠

创建一个 Requirements Table 模块并检索 RequirementsTable 对象。

table = slreq.modeling.create("myModel");

向模块中添加一个假设。

row = addAssumptionRow(table);

创建一个 Requirements Table 模块并检索 RequirementsTable 对象。

table = slreq.modeling.create("myModel");

使用预条件和后条件列中的表达式模块中添加一个假设。

row = addAssumptionRow(table, Preconditions={'u1 > 1'},...
Postcoditions={'y1 > 0'});

输入参数

全部折叠

Requirements Table 模块，指定为 RequirementsTable 对象。

名称-值参数

全部折叠

以 Name1=Value1,...,NameN=ValueN 的形式指定可选参量对组，其中 Name 是参量名称，Value 是对应的值。名称-值参量必须出现在其他参量之后，但对各个参量对组的顺序没有要求。

示例: addAssumptionRow(table,rowType="normal",Preconditions={'u1 > 0'}) 向 Requirements Table 模块添加了一个假设，并且带有预条件 u1 > 0。

预条件表达式，指定为字符向量元胞数组。有关假设中的预条件的更多信息，请参阅 将假设添加到需求中。

数据类型: char | cell

后条件表达式，指定为字符向量元胞数组。有关假设中的后条件的更多信息，请参阅 将假设添加到需求中。

数据类型: char | cell

假设类型，由以下值之一指定：

值描述
"normal"创建具有所有可用属性的普通假设。
"anyChildActive"创建“Any Child Active”语义假设。父级假设不能有前提条件，子级假设不能有后条件。
"allChildrenActive"创建一个“所有子项均为活跃状态”的语义假设。父级假设不能有前提条件，子级假设不能有后条件。

您可以创建普通假设或语义假设。有关语义需求和假设的更多信息，请参阅 在 Requirements Table 模块中指定行类型。如果不包含此名称-值对，该函数会创建一个普通假设。

数据类型: enumerated

假设摘要文本，指定为字符串标量或字符向量。使用此名称值参量将文本添加到 Requirements Table 模块的假设选项卡中的摘要列。

数据类型: char | string

输出参量

全部折叠

假设，作为 AssumptionRow 对象返回。

版本历史记录

在 R2022a 中推出

另请参阅

模块

函数

对象

主题