| /** |
| ******************************************************************************** |
| * Copyright (c) 2017 Dortmund University of Applied Sciences and Arts and others. |
| * |
| * This program and the accompanying materials are made |
| * available under the terms of the Eclipse Public License 2.0 |
| * which is available at https://www.eclipse.org/legal/epl-2.0/ |
| * |
| * SPDX-License-Identifier: EPL-2.0 |
| * |
| * Contributors: |
| * Dortmund University of Applied Sciences and Arts - initial API and implementation |
| ******************************************************************************** |
| */ |
| |
| package org.eclipse.app4mc.multicore.sharelibs.modelchecker; |
| |
| public enum ModelSpecModelType { |
| HW_MODEL, // Hardware Model |
| SW_MODEL, // Softeare Model |
| CONSTRAINTS_MODEL, // Constraints Model |
| STIMULI_MODEL, // Stimuli Model |
| COMMON_ELEMENTS, // Common Elements Model |
| OS_MODEL, // OS Model |
| MAPPING_MODEL, // Mapping Model |
| PROPERTY_CONTRAINTS_MODEL // Property Contraints Model |
| } |
| |