addAssumptionRow

Add assumption to Requirements Table block

Since R2022a

Syntax

AssumptionRow = addAssumptionRow(reqTable)

AssumptionRow = addAssumptionRow(reqTable,Name=Value)

Description

AssumptionRow = addAssumptionRow(reqTable) adds an assumption to the Requirements Table block, specified by reqTable.

AssumptionRow = addAssumptionRow(reqTable,Name=Value) adds an assumption by using one or more name-value arguments.

Examples

Add an Assumption to a Requirement Table Block

Create a Requirements Table block and retrieve the RequirementsTable object.

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

Add an assumption to the block.

row = addAssumptionRow(table);

Add an Assumption with a Precondition and Postcondition

Create a Requirements Table block and retrieve the RequirementsTable object.

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

Add an assumption to the block with expressions in the Precondition and Postcondition columns.

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

Input Arguments

reqTable — Requirements Table block

RequirementsTable object

Requirements Table block, specified as a RequirementsTable object.

Name-Value Arguments

Specify optional pairs of arguments as Name1=Value1,...,NameN=ValueN, where Name is the argument name and Value is the corresponding value. Name-value arguments must appear after other arguments, but the order of the pairs does not matter.

Example: addAssumptionRow(table,rowType="normal",Preconditions={'u1 > 0'}) adds an assumption to a Requirements Table block with a precondition u1 > 0.

Preconditions — Precondition expression

{''} (default) | cell array of character vectors

Precondition expression, specified as a cell array of character vectors. For more information on preconditions in assumptions, see Add Assumptions to Requirements.

Data Types: char | cell

Postconditions — Postcondition expression

{''} (default) | cell array of character vectors

Postcondition expression, specified as a cell array of character vectors. For more information on postconditions in assumptions, see Add Assumptions to Requirements.

Data Types: char | cell

rowType — Assumption type

"normal" (default) | "anyChildActive" | "allChildrenActive"

Assumption type, specified by one of these values:

Value	Description
"normal"	Creates a normal assumption with all of the available properties.
"anyChildActive"	Creates an Any Child Active semantic assumption. The parent assumption cannot have a precondition, and the children cannot have a postcondition.
"allChildrenActive"	Creates an All Child Active semantic assumption. The parent assumption cannot have a precondition, and the children cannot have a postcondition.

You can create normal assumptions or semantic assumptions. For more information on semantic requirements and assumptions, see Specify Row Type in Requirements Table Blocks. If you do not include this name-value pair, the function creates a normal assumption.

Data Types: enumerated

Summary — Assumption summary text

"" (default) | string scalar | character vector

Assumption summary text, specified as a string scalar or character vector. Use this name-value argument to add text to the Summary column in the Assumptions tab of the Requirements Table block.

Data Types: char | string

Output Arguments

AssumptionRow — Assumption

AssumptionRow object

Assumption, returned as an AssumptionRow object.

Version History

Introduced in R2022a