da_item.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_DA_ITEM
#define D_DA_ITEM
#ifndef STD_NS
#define STD_NS
using namespace std;
#endif
#include "Definition_item.h"
class Min_max_eps;
class MLD_representation;
class Affine_func;
class Expr;
class Symbol;
class Symbol_table;
class Logic_item;

/** lhs_var = IF cond_var THEN affine_then [mme_then]
 * ELSE affine_else [mme_else] */
class DA_item : public Definition_item {
public:
	/** if logic_expr is not simply a variable, a new variable is
	 * created and logic_expr is assigned to it.  <br>
	 * if aff_else and mme_else are NULL, a default value
	 * (zero) is created. */
	DA_item(const Var_symbol * lhs, Expr * logic_expr,
		Expr * aff_then, Min_max_eps * mme_then, Expr * aff_else,
		Min_max_eps * mme_else, const Globals * glob);

	~DA_item();

	list < const Var_symbol * > get_required_mme() const;

	list < const Var_symbol * > get_required_simu() const;

	bool is_DA_item() const {return true;}

	string get_ident() const { return string("DA"); }

	MLD_representation * translate_MLD() const;

	string matlab_simu() const;


	/** if necessary, create a Logic_item for cond_var=cond_var_assign */
	list < Item * > unroll();

	/** compute the min/max values if they have not been
	 * explicitly specified */
	void compute_minmaxeps();

	Min_max_eps * compute_minmax() const;

	void semantic_checks();

	string arg_range_check_matlab() const;

	bool minmax_known() const;
	//	bool get_mme_then_computed() const {return mme_then_computed;}
	//	bool get_mme_else_computed() const {return mme_else_computed;}

private:

	/** sets affine_then and affine_else. if aff==NULL a default
	 * value(zero) is used */
	void construct_else(Expr * aff, Min_max_eps * mme);

	Expr * logic;

	/** must be affine */
	Expr * affine_then;

	/** must be affine */
	Expr * affine_else;

	Min_max_eps * mme_else;

	Min_max_eps * mme_then;

	/** where the mme's computed by the compiler? */
	bool then_min_computed, then_max_computed, else_min_computed, else_max_computed;

	/** Boolean variable containing the result of the
	 * condition-expression. */
	const Symbol * cond_var;

	friend class Row_information;
};
#endif //D_DA_ITEM