diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-02-16 00:43:11 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-02-19 19:18:25 +0100 |
| commit | d90bedacaafe87e06fddaa05a6ff9b7b796e97e7 (patch) | |
| tree | 3631e27854b40de3bce7606f60113054c77bd391 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel | |
| parent | Ecore2Cft transformation (diff) | |
| download | VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.gz VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.zst VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.zip | |
Two-valued fault tree analyzer WIP
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel')
| -rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel index b5f63c34..7dcd0ae7 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel | |||
| @@ -11,8 +11,8 @@ | |||
| 11 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/events"/> | 11 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/events"/> |
| 12 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/topEvent"/> | 12 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/topEvent"/> |
| 13 | </genClasses> | 13 | </genClasses> |
| 14 | <genClasses image="false" ecoreClass="ft.ecore#//Event"> | 14 | <genClasses image="false" ecoreClass="ft.ecore#//RandomEvent"> |
| 15 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//Event/name"/> | 15 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//RandomEvent/name"/> |
| 16 | </genClasses> | 16 | </genClasses> |
| 17 | <genClasses ecoreClass="ft.ecore#//BasicEvent"> | 17 | <genClasses ecoreClass="ft.ecore#//BasicEvent"> |
| 18 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//BasicEvent/distribution"/> | 18 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//BasicEvent/distribution"/> |
| @@ -31,7 +31,14 @@ | |||
| 31 | <genClasses ecoreClass="ft.ecore#//OrGate"/> | 31 | <genClasses ecoreClass="ft.ecore#//OrGate"/> |
| 32 | <genClasses ecoreClass="ft.ecore#//KOfMGate"> | 32 | <genClasses ecoreClass="ft.ecore#//KOfMGate"> |
| 33 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/k"/> | 33 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/k"/> |
| 34 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/m"/> | 34 | </genClasses> |
| 35 | <genClasses ecoreClass="ft.ecore#//ReliabilityModel"/> | ||
| 36 | <genClasses ecoreClass="ft.ecore#//ConstantModel"> | ||
| 37 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantModel/failed"/> | ||
| 38 | </genClasses> | ||
| 39 | <genClasses ecoreClass="ft.ecore#//Event"/> | ||
| 40 | <genClasses ecoreClass="ft.ecore#//ConstantEvent"> | ||
| 41 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantEvent/failed"/> | ||
| 35 | </genClasses> | 42 | </genClasses> |
| 36 | </genPackages> | 43 | </genPackages> |
| 37 | </genmodel:GenModel> | 44 | </genmodel:GenModel> |