logic_output_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_LOGIC_OUTPUT_ITEM
#define D_LOGIC_OUTPUT_ITEM
#ifndef STD_NS
#define STD_NS
using namespace std;
#endif
#include "Output_item.h"
class Expr;
class MLD_representation;
class Symbol_table;
class Var_symbol;
class Logic_item;
class Symbol;

class Logic_output_item : public Output_item {
public:
	Logic_output_item(const Var_symbol * lhs, Expr * e,
		const Globals * glob);
	~Logic_output_item();

	list < const Var_symbol * > get_required_simu() const;

	MLD_representation * translate_MLD() const;

	string matlab_simu() const;

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

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

	void semantic_checks();

	string arg_range_check_matlab() const;

private:
	Expr * logic;

	/** Boolean variable containing the result of the output expression. */
	const Symbol * upd_var;


	/** if the rhs is constant, save it's value here 
	 * otherwise , if !const_value, upd_var has to be negated for the output
         */
	bool const_value;

};
#endif //D_LOGIC_OUTPUT_ITEM