diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 14:49:53 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 14:49:53 +0200 |
commit | 972baab642bd889d2c3476c0c9e17a6929e0c318 (patch) | |
tree | 8f724cb348c60e4fc45d446d8532988ed8e40748 /Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java | |
parent | Counting scope propagator (simpler than BasicTypeHierarchy) (diff) | |
download | VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.gz VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.zst VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.zip |
[Stochastic] Remove fault tree support for now
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java index 0fd2f53a..5e133c80 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.16.0 | 2 | * generated by Xtext 2.17.0 |
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; | 4 | package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; |
5 | 5 | ||
@@ -28,10 +28,6 @@ public interface TypeScope extends EObject | |||
28 | /** | 28 | /** |
29 | * Returns the value of the '<em><b>Sets New</b></em>' attribute. | 29 | * Returns the value of the '<em><b>Sets New</b></em>' attribute. |
30 | * <!-- begin-user-doc --> | 30 | * <!-- begin-user-doc --> |
31 | * <p> | ||
32 | * If the meaning of the '<em>Sets New</em>' attribute isn't clear, | ||
33 | * there really should be more of a description here... | ||
34 | * </p> | ||
35 | * <!-- end-user-doc --> | 31 | * <!-- end-user-doc --> |
36 | * @return the value of the '<em>Sets New</em>' attribute. | 32 | * @return the value of the '<em>Sets New</em>' attribute. |
37 | * @see #setSetsNew(boolean) | 33 | * @see #setSetsNew(boolean) |
@@ -54,10 +50,6 @@ public interface TypeScope extends EObject | |||
54 | /** | 50 | /** |
55 | * Returns the value of the '<em><b>Sets Sum</b></em>' attribute. | 51 | * Returns the value of the '<em><b>Sets Sum</b></em>' attribute. |
56 | * <!-- begin-user-doc --> | 52 | * <!-- begin-user-doc --> |
57 | * <p> | ||
58 | * If the meaning of the '<em>Sets Sum</em>' attribute isn't clear, | ||
59 | * there really should be more of a description here... | ||
60 | * </p> | ||
61 | * <!-- end-user-doc --> | 53 | * <!-- end-user-doc --> |
62 | * @return the value of the '<em>Sets Sum</em>' attribute. | 54 | * @return the value of the '<em>Sets Sum</em>' attribute. |
63 | * @see #setSetsSum(boolean) | 55 | * @see #setSetsSum(boolean) |
@@ -80,10 +72,6 @@ public interface TypeScope extends EObject | |||
80 | /** | 72 | /** |
81 | * Returns the value of the '<em><b>Number</b></em>' containment reference. | 73 | * Returns the value of the '<em><b>Number</b></em>' containment reference. |
82 | * <!-- begin-user-doc --> | 74 | * <!-- begin-user-doc --> |
83 | * <p> | ||
84 | * If the meaning of the '<em>Number</em>' containment reference isn't clear, | ||
85 | * there really should be more of a description here... | ||
86 | * </p> | ||
87 | * <!-- end-user-doc --> | 75 | * <!-- end-user-doc --> |
88 | * @return the value of the '<em>Number</em>' containment reference. | 76 | * @return the value of the '<em>Number</em>' containment reference. |
89 | * @see #setNumber(NumberSpecification) | 77 | * @see #setNumber(NumberSpecification) |