------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- This Ada package was automatically generated by the software engineering --tool Platypus -- see http://cassoulet.univ-brest.fr/mme -- -- Any modification of this file will be lost. -- Please see the "platypus" directory instead : it contains the Cheddar's -- model and its meta-model. ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ -- Cheddar is a free real time scheduling tool. -- This program provides services to automatically check temporal constraints -- of real time tasks. -- -- Copyright (C) 2002-2009 Frank Singhoff -- Cheddar is developed by the LISYC Team, University of Brest -- -- This program 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 of the License, or -- (at your option) any later version. -- -- This program 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 -- along with this program; if not, write to the Free Software -- Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA -- -- -- Contact : cheddar@listes.univ-brest.fr -- To post to this mailing list, you must be subscribed -- (see http//beru.univ-brest.fr/~singhoff/cheddar for details) -- ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with Objects; use Objects; with Lists; with Ada.Strings.Unbounded.Text_IO; use Ada.Strings.Unbounded.Text_IO; with Framework_Config; use Framework_Config; with Ada.Finalization; with Unbounded_Strings; use Unbounded_Strings; use Unbounded_Strings.Unbounded_String_List_Package; with Unchecked_Deallocation; with Text_IO; use Text_IO; with Convert_Strings; with Convert_Unbounded_Strings; package Generic_Graph.Extended is procedure Initialize (obj : in out Graph_Ptr); procedure Initialize (obj : in out Generic_Edge_Ptr); procedure Initialize (obj : in out Generic_Node_Ptr); procedure Add_Generic_Node (obj : in out Graph; N : in Generic_Node_Ptr; succeed : out Boolean); procedure Add_Generic_Node (obj : in out Graph_Ptr; N : in Generic_Node_Ptr; succeed : out Boolean); procedure Add_Generic_Edge (obj : in out Graph; E : in Generic_Edge_Ptr; succeed : out Boolean); procedure Add_Generic_Edge (obj : in out Graph_Ptr; E : in Generic_Edge_Ptr; succeed : out Boolean); function Edge_In_Graph (obj : in Generic_Edge_Ptr; G : in Graph) return Boolean; function Edge_In_Graph (obj : in Generic_Edge_Ptr; G_Ptr: in Graph_Ptr) return Boolean; function Node_In_Graph (obj : in Generic_Node_Ptr; G : in Graph) return Boolean; function Node_In_Graph (obj : in Generic_Node_Ptr; G_Ptr: in Graph_Ptr) return Boolean; end Generic_Graph.Extended;