aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/traffic.scenarios.simplified/ecore-gen/simpleScenario/CollisionExists.java
blob: 9e495f6125296b5c69913f31ac5ac6e8c2135a7a (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
/**
 */
package simpleScenario;


/**
 * <!-- begin-user-doc -->
 * A representation of the model object '<em><b>Collision Exists</b></em>'.
 * <!-- end-user-doc -->
 *
 * <p>
 * The following features are supported:
 * </p>
 * <ul>
 *   <li>{@link simpleScenario.CollisionExists#getCollisionTime <em>Collision Time</em>}</li>
 * </ul>
 *
 * @see simpleScenario.SimpleScenarioPackage#getCollisionExists()
 * @model
 * @generated
 */
public interface CollisionExists extends TemporalRelation {
	/**
	 * Returns the value of the '<em><b>Collision Time</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @return the value of the '<em>Collision Time</em>' attribute.
	 * @see #setCollisionTime(double)
	 * @see simpleScenario.SimpleScenarioPackage#getCollisionExists_CollisionTime()
	 * @model required="true"
	 * @generated
	 */
	double getCollisionTime();

	/**
	 * Sets the value of the '{@link simpleScenario.CollisionExists#getCollisionTime <em>Collision Time</em>}' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @param value the new value of the '<em>Collision Time</em>' attribute.
	 * @see #getCollisionTime()
	 * @generated
	 */
	void setCollisionTime(double value);

} // CollisionExists