| /** |
| * ******************************************************************************* |
| * Copyright (c) 2015-2021 Robert Bosch GmbH 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 |
| * |
| * Generated using Eclipse EMF |
| * |
| * ******************************************************************************* |
| */ |
| package org.eclipse.app4mc.amalthea.model; |
| |
| import org.eclipse.emf.common.util.EMap; |
| |
| import org.eclipse.emf.ecore.EObject; |
| |
| /** |
| * <!-- begin-user-doc --> |
| * A representation of the model object '<em><b>ISatisfiable</b></em>'. |
| * <!-- end-user-doc --> |
| * |
| * |
| * @see org.eclipse.app4mc.amalthea.model.AmaltheaPackage#getISatisfiable() |
| * @model interface="true" abstract="true" |
| * @generated |
| */ |
| public interface ISatisfiable extends EObject { |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @model unique="false" contextMapType="org.eclipse.app4mc.amalthea.model.ModeValueMapEntry<org.eclipse.app4mc.amalthea.model.ModeLabel, org.eclipse.emf.ecore.EString>" |
| * @generated |
| */ |
| boolean isSatisfiedBy(EMap<ModeLabel, String> context); |
| |
| } // ISatisfiable |
