implementation.h

由matlab开发的hybrid系统的描述语言

/*
	HYSDEL
	Copyright (C) 1999-2002  Fabio D. Torrisi

	This file is part of HYSDEL.
    
	HYSDEL 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.

	HYSDEL 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 library; if not, write to the Free Software
	Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA

	CONTACT INFORMATION
	===================
	Fabio D. Torrisi
	ETH Zentrum
	Physikstrasse. 3 ETL,
	CH-8032 Zurich
	Switzerland
	mailto:[e-mail] (preferred)
*/

#ifndef D_IMPLEMENTATION
#define D_IMPLEMENTATION
#ifndef STD_NS
#define STD_NS
using namespace std;
#endif
#include <list>
#include <string>
class Section;
class MLD_representation;
class Globals;

/** collects all the information in the IMPLEMENTATION part and translates
 * the entire hybride system as described in the hysdel input into other
 * representations (MLD, Matlab code for simulation). */
class Implementation {

public:
	Implementation(list < Section * > * l, const Globals * glob);

	/** semantic ckecks, argument range checks.
	 * return checks that can only be done when symbolic
	 * parameters are known */
	string checks();

	/** unroll everything, compute MME */
	void prepare_translate_MLD();

	/** translate the entire IMPLEMENTATION into the MLD-matrices. */
	MLD_representation * translate_MLD() const;

private:
	const Globals * globals;

	/** a collection of Sections, each Section corresponds to a section in
	 * the IMPLEMENTATION part of the input file. There can be
	 * multiple Sections of the same kind (e.g. two DA-sections).
	 * @supplierCardinality 0..*
	 * @associates <{Section}>
	 * @directed  */
	list < Section * > * sections;
	typedef list < Section * >::iterator sections_iter;
};
#endif //D_IMPLEMENTATION