Set AllAssertions


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

Set AllAssertions {
    SubsetOf   :  AllIdentifiers;
    Index      :  IndexAssertions;


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


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


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.