Changes between Version 24 and Version 25 of KSynthesis

Show
Ignore:
Timestamp:
08/10/12 20:08:18 (5 years ago)
Author:
acher
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • KSynthesis

    v24 v25  
    173173fm1 = FM ("foo1.tvl") 
    174174// synthesis (formula) 
    175 fm2 = ksynthesis fla1 with hierarchy= A:B G;B : C E O; groups=xorgroup (B: C E) constraints= E implies G 
     175fm2 = ksynthesis fla1 with hierarchy= A:B G; B : C E O; groups= xorGroup (B: C E) constraints= E implies G 
    176176// another synthesis (feature model) 
    177177fm1bis = ksynthesis fm1 with hierarchy= A:B C G O; G : E;