Set AllAssertions

AllAssertions

The predefined set AllAssertions contains the names of all assertions within an AIMMS model.

Set AllAssertions {
    SubsetOf   :  AllIdentifiers;
    Index      :  IndexAssertions;
}

Definition

The contents of the set AllAssertions is the collection of all assertion names defined within a particular model.

Updatability

The contents of the set can only be modified by adding or deleting assertions in the Model Explorer.

Note

The set AllAssertions or subsets thereof are typically used in the ASSERT statement in an AIMMS model.

See also

The sets AllIdentifiers. Assertions are discussed in Assertions of the

Language Reference.