/*******************************************************************************
 * Copyright (c) 2016 CEA LIST.
 *
 * 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
 *
 * Created on: 20 mai 2010
 *
 * Contributors:
 *  Arnault Lapitre (CEA LIST) arnault.lapitre@cea.fr
 *   - Initial API and implementation
 ******************************************************************************/

#ifndef AVMSCHEDULINGPRIMITIVE_H_
#define AVMSCHEDULINGPRIMITIVE_H_

#include <computer/primitive/AvmBaseConcurrencyPrimitive.h>
#include <computer/primitive/BaseAvmPrimitive.h>


namespace sep
{

AVM_PRIMITIVE_RUN_CLASS(Exclusive, sep::AvmBaseConcurrencyPrimitive)


AVM_PRIMITIVE_RUN_CLASS(Nondeterminism, BaseAvmPrimitive)


AVM_PRIMITIVE_RUN_CLASS(Prior, BaseAvmPrimitive)


AVM_PRIMITIVE_RUN_CLASS(ScheduleAndThen, BaseAvmPrimitive)

AVM_PRIMITIVE_RUN_CLASS(ScheduleOrElse, BaseAvmPrimitive)


}

#endif /* AVMSCHEDULINGPRIMITIVE_H_ */