aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java
diff options
context:
space:
mode:
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java76
1 files changed, 0 insertions, 76 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java
deleted file mode 100644
index 6e1bc1c1..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java
+++ /dev/null
@@ -1,76 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>KOf MGate Definition</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getK <em>K</em>}</li>
16 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getM <em>M</em>}</li>
17 * </ul>
18 *
19 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getKOfMGateDefinition()
20 * @model
21 * @generated
22 */
23public interface KOfMGateDefinition extends GateDefinition {
24 /**
25 * Returns the value of the '<em><b>K</b></em>' attribute.
26 * <!-- begin-user-doc -->
27 * <p>
28 * If the meaning of the '<em>K</em>' attribute isn't clear,
29 * there really should be more of a description here...
30 * </p>
31 * <!-- end-user-doc -->
32 * @return the value of the '<em>K</em>' attribute.
33 * @see #setK(int)
34 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getKOfMGateDefinition_K()
35 * @model
36 * @generated
37 */
38 int getK();
39
40 /**
41 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getK <em>K</em>}' attribute.
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @param value the new value of the '<em>K</em>' attribute.
45 * @see #getK()
46 * @generated
47 */
48 void setK(int value);
49
50 /**
51 * Returns the value of the '<em><b>M</b></em>' attribute.
52 * <!-- begin-user-doc -->
53 * <p>
54 * If the meaning of the '<em>M</em>' attribute isn't clear,
55 * there really should be more of a description here...
56 * </p>
57 * <!-- end-user-doc -->
58 * @return the value of the '<em>M</em>' attribute.
59 * @see #setM(int)
60 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getKOfMGateDefinition_M()
61 * @model
62 * @generated
63 */
64 int getM();
65
66 /**
67 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getM <em>M</em>}' attribute.
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @param value the new value of the '<em>M</em>' attribute.
71 * @see #getM()
72 * @generated
73 */
74 void setM(int value);
75
76} // KOfMGateDefinition