Enumerative Parameter Values

The searching algorithms discard the nomenclatural term and perform operations on the parameter values alone. User-defined levels of search can be implemented by simple operations on these integer ranges as will be described later. These parameter values are referred to as Enumerative Parameter Values (EPV s),... 

The process module has as input the initiating event that is under examination. Four initiating events were modelled (LOCA, LOOP, LOFW, Transient) using a single enumerative variable scenario that determines the used initiating event. The variable scenario forces certain physical parameters to have a particular value. For example, in all initiating events the reactor water level becomes low. Consequently, the corresponding variables in the model shall also indicate that the reactor water level is low. The process module consists of case clauses that implement these kinds of rules for all scenarios. The variable scenario also has an additional possible value FREE. In this case the physical parameters of the plant experience no restrictions what so ever the values of the parameters are selected non-deterministically. 

An enumeration type is a finite enumeration of constants. The enumeration type is denoted by the sequence ENUM(e1,. ..eN) where N denotes the cardinal number of the enumeration type and el,. ..eN denote the constant elements of the enumeration type. N has to be greater than 1. Than a structure attribute (parameter) of enumeration type E has any constant element of E as value. Enumeration type are members of the type class ATTRIBUTE. 

---