diff options
author | 2019-02-16 00:43:11 +0100 | |
---|---|---|
committer | 2019-02-19 19:18:25 +0100 | |
commit | d90bedacaafe87e06fddaa05a6ff9b7b796e97e7 (patch) | |
tree | 3631e27854b40de3bce7606f60113054c77bd391 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java | |
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/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java index 247a9918..0bf258be 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java | |||
@@ -4,8 +4,6 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft; | |||
4 | 4 | ||
5 | import org.eclipse.emf.common.util.EList; | 5 | import org.eclipse.emf.common.util.EList; |
6 | 6 | ||
7 | import org.eclipse.emf.ecore.EObject; | ||
8 | |||
9 | /** | 7 | /** |
10 | * <!-- begin-user-doc --> | 8 | * <!-- begin-user-doc --> |
11 | * A representation of the model object '<em><b>Fault Tree</b></em>'. | 9 | * A representation of the model object '<em><b>Fault Tree</b></em>'. |
@@ -23,10 +21,10 @@ import org.eclipse.emf.ecore.EObject; | |||
23 | * @model | 21 | * @model |
24 | * @generated | 22 | * @generated |
25 | */ | 23 | */ |
26 | public interface FaultTree extends EObject { | 24 | public interface FaultTree extends ReliabilityModel { |
27 | /** | 25 | /** |
28 | * Returns the value of the '<em><b>Events</b></em>' containment reference list. | 26 | * Returns the value of the '<em><b>Events</b></em>' containment reference list. |
29 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event}. | 27 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent}. |
30 | * <!-- begin-user-doc --> | 28 | * <!-- begin-user-doc --> |
31 | * <p> | 29 | * <p> |
32 | * If the meaning of the '<em>Events</em>' containment reference list isn't clear, | 30 | * If the meaning of the '<em>Events</em>' containment reference list isn't clear, |
@@ -38,7 +36,7 @@ public interface FaultTree extends EObject { | |||
38 | * @model containment="true" | 36 | * @model containment="true" |
39 | * @generated | 37 | * @generated |
40 | */ | 38 | */ |
41 | EList<Event> getEvents(); | 39 | EList<RandomEvent> getEvents(); |
42 | 40 | ||
43 | /** | 41 | /** |
44 | * Returns the value of the '<em><b>Top Event</b></em>' reference. | 42 | * Returns the value of the '<em><b>Top Event</b></em>' reference. |
@@ -49,12 +47,12 @@ public interface FaultTree extends EObject { | |||
49 | * </p> | 47 | * </p> |
50 | * <!-- end-user-doc --> | 48 | * <!-- end-user-doc --> |
51 | * @return the value of the '<em>Top Event</em>' reference. | 49 | * @return the value of the '<em>Top Event</em>' reference. |
52 | * @see #setTopEvent(Event) | 50 | * @see #setTopEvent(RandomEvent) |
53 | * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getFaultTree_TopEvent() | 51 | * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getFaultTree_TopEvent() |
54 | * @model required="true" | 52 | * @model required="true" |
55 | * @generated | 53 | * @generated |
56 | */ | 54 | */ |
57 | Event getTopEvent(); | 55 | RandomEvent getTopEvent(); |
58 | 56 | ||
59 | /** | 57 | /** |
60 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent <em>Top Event</em>}' reference. | 58 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent <em>Top Event</em>}' reference. |
@@ -64,6 +62,6 @@ public interface FaultTree extends EObject { | |||
64 | * @see #getTopEvent() | 62 | * @see #getTopEvent() |
65 | * @generated | 63 | * @generated |
66 | */ | 64 | */ |
67 | void setTopEvent(Event value); | 65 | void setTopEvent(RandomEvent value); |
68 | 66 | ||
69 | } // FaultTree | 67 | } // FaultTree |