param_symbol.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_PARAM_SYMBOL
#define D_PARAM_SYMBOL
#ifndef STD_NS
#define STD_NS
using namespace std;
#endif
#include "Symbol.h"
class Expr;
class Number;

class Param_symbol : public Symbol {
public:

	Param_symbol(Symb_type i_type, int cnt, string i_name,
		const Globals * glob);

	~Param_symbol();

	void set_value(Expr * e) const;

	void set_value_nonconst(Expr * e);

	bool is_param_symbol() const { return true; }

	bool is_const() const { return true; }

	/** returns true iff value does not contain any symbolic parameters */
	bool is_symbolic() const;

	/** returns true iff value is a terminal symbolic parameter 
	    (does not depend on other symvolic parameters) */
	bool is_terminal_symbolic() const;

	int get_count() const;

	Symb_kind get_kind() const;

	string status_matlab(string prefix) const;

	virtual void semantic_checks();


	string to_matlab() const;

	Number * compute_number() const;

	Expr * get_value() const;

	//	void add_required(const Expr *e);
	//	const list<const Symbol*> get_required() const {return required;}
	// to superclass!!!

	int get_constr_order() const { return constr_order; }
private:

	/** if value==NULL, then this parameter has to be
	 * treaten symbolically. */
	Expr * value;

	list < const Symbol * > required;

	int constr_order;
};


#endif //D_PARAM_SYMBOL