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/DocumentLevelSpecification.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/DocumentLevelSpecification.java')
| -rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/DocumentLevelSpecification.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/DocumentLevelSpecification.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/DocumentLevelSpecification.java index fc0d1e8f..50e428a3 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/DocumentLevelSpecification.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/DocumentLevelSpecification.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 | ||
| @@ -53,10 +53,6 @@ public enum DocumentLevelSpecification implements Enumerator | |||
| 53 | /** | 53 | /** |
| 54 | * The '<em><b>None</b></em>' literal value. | 54 | * The '<em><b>None</b></em>' literal value. |
| 55 | * <!-- begin-user-doc --> | 55 | * <!-- begin-user-doc --> |
| 56 | * <p> | ||
| 57 | * If the meaning of '<em><b>None</b></em>' literal object isn't clear, | ||
| 58 | * there really should be more of a description here... | ||
| 59 | * </p> | ||
| 60 | * <!-- end-user-doc --> | 56 | * <!-- end-user-doc --> |
| 61 | * @see #NONE | 57 | * @see #NONE |
| 62 | * @model name="none" | 58 | * @model name="none" |
| @@ -68,10 +64,6 @@ public enum DocumentLevelSpecification implements Enumerator | |||
| 68 | /** | 64 | /** |
| 69 | * The '<em><b>Normal</b></em>' literal value. | 65 | * The '<em><b>Normal</b></em>' literal value. |
| 70 | * <!-- begin-user-doc --> | 66 | * <!-- begin-user-doc --> |
| 71 | * <p> | ||
| 72 | * If the meaning of '<em><b>Normal</b></em>' literal object isn't clear, | ||
| 73 | * there really should be more of a description here... | ||
| 74 | * </p> | ||
| 75 | * <!-- end-user-doc --> | 67 | * <!-- end-user-doc --> |
| 76 | * @see #NORMAL | 68 | * @see #NORMAL |
| 77 | * @model name="normal" | 69 | * @model name="normal" |
| @@ -83,10 +75,6 @@ public enum DocumentLevelSpecification implements Enumerator | |||
| 83 | /** | 75 | /** |
| 84 | * The '<em><b>Full</b></em>' literal value. | 76 | * The '<em><b>Full</b></em>' literal value. |
| 85 | * <!-- begin-user-doc --> | 77 | * <!-- begin-user-doc --> |
| 86 | * <p> | ||
| 87 | * If the meaning of '<em><b>Full</b></em>' literal object isn't clear, | ||
| 88 | * there really should be more of a description here... | ||
| 89 | * </p> | ||
| 90 | * <!-- end-user-doc --> | 78 | * <!-- end-user-doc --> |
| 91 | * @see #FULL | 79 | * @see #FULL |
| 92 | * @model name="full" | 80 | * @model name="full" |