/*******************************************************************************
 * Copyright (c) 2004-2008 Akos Horvath, Gergely Varro and Daniel Varro
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *    Akos Horvath, Gergely Varro - initial API and implementation
 *******************************************************************************/

 package org.eclipse.viatra2.gtasm.patternmatcher;

/**
 * The enumeration of execution modes of a pattern variable.
 */
public enum ExecutionMode {
	/**
     * Only a single value for a given variable has to be found.
	 */
	SINGLE_RESULT,
	/**
     * All possible values for a given variable must be found.
	 */
	MULTIPLE_RESULTS
}