min_max_eps.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_MIN_MAX_EPS
#define D_MIN_MAX_EPS
#ifndef STD_NS
#define STD_NS
using namespace std;
#endif
#include <string>
class Expr;
class Globals;

/** for affine_expressions, specifies the highest and lowest value. The
 * precision eps is needed for the AD-converter to transform strict
 * inequalities(<) into nonstrict inequalities(<=). */
class Min_max_eps {
public:
	Min_max_eps(Expr * min, Expr * max, Expr * eps, const Globals * glob);

	Min_max_eps * clone() const;

	Expr * get_min() const;

	Expr * get_max() const;

	Expr * get_eps() const;

	void semantic_checks();

	void set_source(string s) { source = s; }

	void set_source_line(int i) { source_line = i; }

	string get_source() { return source; }

	string arg_range_check_matlab() const;

private:
	const Globals * globals;

	string source;

	int source_line;

	Expr * min;

	Expr * max;

	Expr * eps;
};
#endif //D_MIN_MAX_EPS