You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
30 lines
983 B
30 lines
983 B
/******************************************************************************* |
|
* Copyright (c) 2015, 2016 CNRS, IRIT, IRT AESE (IRT Saint Exupéry). |
|
* All rights reserved. This program and the accompanying materials |
|
* are made available under the terms of the LGPL 3.0 |
|
* which accompanies this distribution, and is available at |
|
* https://www.gnu.org/licenses/lgpl-3.0-standalone.html |
|
* |
|
* Contributors: |
|
* Faiez Zalila - initial API and implementation and/or initial documentation |
|
*******************************************************************************/ |
|
/** |
|
* generated by Xtext 2.10.0 |
|
*/ |
|
package fr.irit.fiacre.xtext.fiacre; |
|
|
|
import org.eclipse.emf.ecore.EObject; |
|
|
|
/** |
|
* <!-- begin-user-doc --> |
|
* A representation of the model object '<em><b>LTL Property</b></em>'. |
|
* <!-- end-user-doc --> |
|
* |
|
* |
|
* @see fr.irit.fiacre.xtext.fiacre.FiacrePackage#getLTLProperty() |
|
* @model |
|
* @generated |
|
*/ |
|
public interface LTLProperty extends EObject |
|
{ |
|
} // LTLProperty
|
|
|