definition_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_DEFINITION_ITEM
#define D_DEFINITION_ITEM
#ifndef STD_NS
#define STD_NS
using namespace std;
#endif
#include "Item.h"
class Var_symbol;
class Bool_var_symbol;
class Symbol_table;
class Min_max_eps;

/** for assigning a value to a variable */
class Definition_item : public Item {
public:
	Definition_item(const Var_symbol * var, const Globals * glob);
	~Definition_item();

	virtual string to_string() const;

	bool is_definition_item() const { return true; }

	const Var_symbol * get_lhs_var() const { return lhs_var; }

	/** get those variable required to compute min and max of the lhs_var */
	virtual list < const Var_symbol * > get_required_mme() const = 0;

	bool is_required_mme(const Var_symbol * s) const;

	virtual Min_max_eps * compute_minmax() const {
		cout << get_ident();
		cout.flush();
		assert(0);
		return 0;
	}

	virtual bool minmax_known() const { return false; }

protected:

	/** the variable being defined */
	const Var_symbol * lhs_var;
	
	/** the definition item will generate the MLD translation (default) 
	    -- see DA_item:unroll */
	int translate_MLD_enabled;
};
#endif //D_DEFINITION_ITEM