affine_addend.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_AFFINE_ADDEND
#define D_AFFINE_ADDEND
#ifndef STD_NS
#define STD_NS
using namespace std;
#endif
#include <string>
class Var_symbol;
class Expr;
class Item;

class Affine_addend {
public:
	Affine_addend(Expr * c, const Var_symbol * v);

	~Affine_addend();

	Affine_addend* clone() const;

	Expr * get_coeff() const;

	void set_coeff(Expr * e);

	const Var_symbol * get_var() const;

	/* output in human readable form, for debug only */
	string to_string() const;

	/* find the highest value the addend can take. Passing
	originator to provide it in case of error*/
	Expr * find_min(const Item * originator) const;

	/* find the lowest value the addend can take. Passing originator
	to provide it in case of error */
	Expr * find_max(const Item * originator) const;

	/** convert to Expr */
	Expr * to_expr() const;

	void simplify();

private:

	/** If var==NULL, then coeff gives the constant part of the
	 * affine function. */
	const Var_symbol * var;

	/** @supplierCardinality 1 */
	Expr * coeff;
};
#endif //D_AFFINE_ADDEND