<<enumeration>> BVRInteractionOperator {Analysis}

Documentation
The InteractionOperator is an enumerated type holding the different kinds of oeprators to be used in a Combined Fragment.

- alt designates that the CombinedFragment represents a choice of behavior.
- opt designates that the CombinedFragment represents a choice of behavior where either the (sole) operand happens or nothing happens.
- par designates that the CombinedFragment represents a parallel merge between the behaviors of the operands. The eventoccurrences of the different operands can be interleaved in any way as long as the ordering imposed by each operand as such is preserved.
- loop designates that the CombinedFragment represents a loop. The loop operand will be repeated a number of times.
- neg designates that the CombinedFragment represents traces that are defined to be invalid.


Parent PackagefragmentsAbstractNo
Export ControlPublicAccessLink Class forNone
Class KindNormalClassCardinalityn
Space ConcurrencySequential
PersistenceNo  


Attributes
NameClassTypeInitial Value
altBVRInteractionOperator  
optBVRInteractionOperator  
parBVRInteractionOperator  
loopBVRInteractionOperator  
negBVRInteractionOperator  



Property Settings

Data Modeler
dmItemFalseDMName 
IsTableFalseIsViewFalse
IsDomainFalseIsSPPackageFalse
Synonymns TableSpaceID 
SourceId SourceType 
CorrelationName SelectClause 
IsUpdateableTrueCheckOptionNone
IsSnapShotFalseIsDistinctFalse
PersistToServer IsPackageFalse