aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-12 13:30:52 -0500
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-12 13:30:52 -0500
commita5c911874a2c15aaca81c747c6f267e3a6776d04 (patch)
tree0a0e72f2030f14b0485754d4c4fc49cd38476428 /Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java
parentfirst version of the simpleScenario MM+VQL. noRealMatches bug found (diff)
downloadVIATRA-Generator-a5c911874a2c15aaca81c747c6f267e3a6776d04.tar.gz
VIATRA-Generator-a5c911874a2c15aaca81c747c6f267e3a6776d04.tar.zst
VIATRA-Generator-a5c911874a2c15aaca81c747c6f267e3a6776d04.zip
rename simpleScenario folder
Diffstat (limited to 'Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java')
-rw-r--r--Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java45
1 files changed, 0 insertions, 45 deletions
diff --git a/Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java b/Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java
deleted file mode 100644
index 9e495f61..00000000
--- a/Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java
+++ /dev/null
@@ -1,45 +0,0 @@
1/**
2 */
3package simpleScenario;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Collision Exists</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link simpleScenario.CollisionExists#getCollisionTime <em>Collision Time</em>}</li>
16 * </ul>
17 *
18 * @see simpleScenario.SimpleScenarioPackage#getCollisionExists()
19 * @model
20 * @generated
21 */
22public interface CollisionExists extends TemporalRelation {
23 /**
24 * Returns the value of the '<em><b>Collision Time</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <!-- end-user-doc -->
27 * @return the value of the '<em>Collision Time</em>' attribute.
28 * @see #setCollisionTime(double)
29 * @see simpleScenario.SimpleScenarioPackage#getCollisionExists_CollisionTime()
30 * @model required="true"
31 * @generated
32 */
33 double getCollisionTime();
34
35 /**
36 * Sets the value of the '{@link simpleScenario.CollisionExists#getCollisionTime <em>Collision Time</em>}' attribute.
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @param value the new value of the '<em>Collision Time</em>' attribute.
40 * @see #getCollisionTime()
41 * @generated
42 */
43 void setCollisionTime(double value);
44
45} // CollisionExists