diff options
author | 2019-08-01 14:49:53 +0200 | |
---|---|---|
committer | 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/Solver.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/Solver.java')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.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/Solver.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java index 9bd03568..b61e6832 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.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 Solver implements Enumerator | |||
53 | /** | 53 | /** |
54 | * The '<em><b>SMT Solver</b></em>' literal value. | 54 | * The '<em><b>SMT Solver</b></em>' literal value. |
55 | * <!-- begin-user-doc --> | 55 | * <!-- begin-user-doc --> |
56 | * <p> | ||
57 | * If the meaning of '<em><b>SMT Solver</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 #SMT_SOLVER | 57 | * @see #SMT_SOLVER |
62 | * @model name="SMTSolver" | 58 | * @model name="SMTSolver" |
@@ -68,10 +64,6 @@ public enum Solver implements Enumerator | |||
68 | /** | 64 | /** |
69 | * The '<em><b>Alloy Solver</b></em>' literal value. | 65 | * The '<em><b>Alloy Solver</b></em>' literal value. |
70 | * <!-- begin-user-doc --> | 66 | * <!-- begin-user-doc --> |
71 | * <p> | ||
72 | * If the meaning of '<em><b>Alloy Solver</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 #ALLOY_SOLVER | 68 | * @see #ALLOY_SOLVER |
77 | * @model name="AlloySolver" | 69 | * @model name="AlloySolver" |
@@ -83,10 +75,6 @@ public enum Solver implements Enumerator | |||
83 | /** | 75 | /** |
84 | * The '<em><b>Viatra Solver</b></em>' literal value. | 76 | * The '<em><b>Viatra Solver</b></em>' literal value. |
85 | * <!-- begin-user-doc --> | 77 | * <!-- begin-user-doc --> |
86 | * <p> | ||
87 | * If the meaning of '<em><b>Viatra Solver</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 #VIATRA_SOLVER | 79 | * @see #VIATRA_SOLVER |
92 | * @model name="ViatraSolver" | 80 | * @model name="ViatraSolver" |