BoundClause
This clause restricts the number of instances created for a specified implementation type. The none constant can be used to indicate that no bounds are imposed for the type.
Syntax Definition
BoundClause ::= bound Type = (none | Number) .
Remarks
A type bound filters out those states that have more instance objects for the specified type than allowed by the bound. Instances of all derived types of the specified type are included in the instance count of that type.
Example
bound MyImplementationClass = 2;
This specifies that there will be at most 2 instances of implementation type MyImplementationClass in the exploration results.