Changes between Version 1 and Version 2 of insert

Show
Ignore:
Timestamp:
05/17/10 08:07:55 (8 years ago)
Author:
acher
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • insert

    v1 v2  
    44The operator takes three arguments: i) the feature model to be inserted ii) the feature in the base/target feature model where the insertion is to take place, and iii) the operator (e.g., Xor) that determines the form of the insertion. 
    55 
    6 The precondition of the insert operator requires that the intersection between the set of features of the base feature model and the one of the aspect feature model is empty. This condition preserves the well-formed property of the composed feature model which states that each feature's name is unique. If this pre-condition is not respected or features arguments does not exist in the base or aspect models, ''insert'' returns '''false''' and the base or target feature model is not modified. 
     6The precondition of the insert operator requires that the intersection between the set of features of the base feature model and the one of the aspect feature model is empty. This condition preserves the well-formed property of the composed feature model which states that each feature's name is unique. If this pre-condition is not respected or features arguments does not exist in the base or aspect models, insert returns '''false''' and the base or target feature model is not modified. 
     7 
     8 
     9b = insert afm into bft with opt  
     10 
     11afm is a variable of feature model type  
     12 
     13bft is a variable of feature type (the feature model in which bft belongs to is automatically determined)  
     14 
     15opt is a string value whose value is either MAND, OPT, XOR or OR 
    716 
    817== example ==