-// -----------------------------------------------------------------------
-// Copyright (C) 2006 - 2007 FRESCOR consortium partners:
-//
-// Universidad de Cantabria, SPAIN
-// University of York, UK
-// Scuola Superiore Sant'Anna, ITALY
-// Kaiserslautern University, GERMANY
-// Univ. Politécnica Valencia, SPAIN
-// Czech Technical University in Prague, CZECH REPUBLIC
-// ENEA SWEDEN
-// Thales Communication S.A. FRANCE
-// Visual Tools S.A. SPAIN
-// Rapita Systems Ltd UK
-// Evidence ITALY
-//
-// See http://www.frescor.org for a link to partners' websites
-//
-// FRESCOR project (FP6/2005/IST/5-034026) is funded
-// in part by the European Union Sixth Framework Programme
-// The European Union is not liable of any use that may be
-// made of this code.
-//
-//
-// based on previous work (FSF) done in the FIRST project
-//
-// Copyright (C) 2005 Mälardalen University, SWEDEN
-// Scuola Superiore S.Anna, ITALY
-// Universidad de Cantabria, SPAIN
-// University of York, UK
-//
-// FSF API web pages: http://marte.unican.es/fsf/docs
-// http://shark.sssup.it/contrib/first/docs/
-//
-// This file is part of FRSH API
-//
-// FRSH API is free software; you can redistribute it and/or modify
-// it under the terms of the GNU General Public License as published by
-// the Free Software Foundation; either version 2, or (at your option)
-// any later version.
-//
-// FRSH API is distributed in the hope that it will be useful, but
-// WITHOUT ANY WARRANTY; without even the implied warranty of
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-// General Public License for more details.
-//
-// You should have received a copy of the GNU General Public License
-// distributed with FRSH API; see file COPYING. If not, write to the
-// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-// 02111-1307, USA.
-//
-// As a special exception, if you include this header file into source
-// files to be compiled, this header file does not by itself cause
-// the resulting executable to be covered by the GNU General Public
-// License. This exception does not however invalidate any other
-// reasons why the executable file might be covered by the GNU General
-// Public License.
-// -----------------------------------------------------------------------
-//frsh_distributed_spare_capacity.h
-//==============================================
-// ******** ******* ******** ** **
-// **///// /**////** **////// /** /**
-// ** /** /** /** /** /**
-// ******* /******* /********* /**********
-// **//// /**///** ////////** /**//////**
-// ** /** //** /** /** /**
-// ** /** //** ******** /** /**
-// // // // //////// // //
-//
-// FRSH(FRescor ScHeduler), pronounced "fresh"
-//==============================================
-#ifndef _FRSH_DISTRIBUTED_SPARE_CAPACITY_H_
-#define _FRSH_DISTRIBUTED_SPARE_CAPACITY_H_
-
-#include "frsh_core.h"
-#include "frsh_distributed.h"
-
-
-#define FRSH_DISTRIBUTED_SPARE_CAPACITY_MODULE_SUPPORTED 1
-
-/**
- * @defgroup distribspare Distributed Spare Capacity
- *
- * This module adds spare-capacity/dynamic reclamation capabilities to
- * the distributed module of FRSH.
- *
- * @{
- **/
-
-/**
- * frsh_contract_set_granted_capacity_flag()
- *
- * This operation sets the granted capacity flag in the contract
- * parameters object pointed to by contract to the boolean specified in
- * granted_capacity_flag. This flag indicates to the scheduler that
- * once the negotiation of the respective contract is finished, the
- * first values for the budget and period given to the corresponding
- * vres must not be changed due to the negotiation or renegotiation
- * of any other contract in the system. The period can change, though,
- * if a renegotiation or a change of quality and importance is
- * requested for the corresponding vres It fails with
- * FRSH_ERR_BAD_ARGUMENT if contract is NULL.
- **/
-int frsh_contract_set_granted_capacity_flag
- (frsh_contract_t *contract,
- bool granted_capacity_flag);
-
-/**
- * frsh_contract_get_granted_capacity_flag()
- *
- * This operation returns in the place pointed to by
- * granted_capacity_flag the value of the corresponding flag in the
- * contract parameters object pointed to by contract. It fails with
- * FRSH_ERR_BAD_ARGUMENT if any of the pointers is NULL
- **/
-int frsh_contract_get_granted_capacity_flag
- (frsh_contract_t *contract,
- bool *granted_capacity_flag);
-
-/**
- * frsh_vres_set_capacity()
- *
- * This operation is used to return spare capacity that was assigned to
- * a vres but that cannot be used due to restrictions in other
- * vres of a distributed transaction. This operation changes the
- * cycle period and budget of the given vres to the values given in
- * new_period and new_budget, respectively. It fails with
- * FRSH_ERR_BAD_ARGUMENT if the vres does not have the
- * granted_capacity flag set, if the new period is less than the
- * current one, or if the new budget is larger than the current one. It
- * also fails with the same error number if the new period is greater
- * than the maximum period currently specified in the contract
- * associated to the vres or, similarly, if the new budget is smaller
- * than the minimum budget in the contract. It also fails with the
- * same number if the granularity is discrete and the new period and
- * budget do not match any of the period-budget pairs in the
- * utilization set of the vres.
- **/
-int frsh_vres_set_capacity
- (frsh_vres_id_t vres,
- const struct timespec *new_period,
- const struct timespec *new_budget);
-
-/*@}*/
-#endif // _FRSH_DISTRIBUTED_SPARE_CAPACITY_H_