binary_expr.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_BINARY_EXPR
#define D_BINARY_EXPR
#ifndef STD_NS
#define STD_NS
using namespace std;

#endif
#include <assert.h>
#include "Expr.h"


class Binary_expr : public Expr {
public:
	Binary_expr(Expr * l, Expr * r);

	virtual ~Binary_expr();

	virtual Expr * clone() const;


	virtual string to_matlab() const;

	/** has to be overwritten by all logic binary expressions */
	virtual CNF_clause * compute_CNF() const {
		assert(0);
		return 0;
	}

	virtual list < Item * > unroll();

	bool is_const() const;

	bool is_real() const;

	bool is_logic() const;

	bool is_symbolic() const;

	bool is_binary_expr() const { return true; }

	const Expr * get_left() const { return left; }

	const Expr * get_right() const { return right; }

	virtual string arg_range_check_matlab() const;

	void simplify();
protected:

	/** return a string with the symbol\token of the operator */
	virtual string symbol_str() const = 0;

	/** @supplierCardinality 1 */
	Expr * right;

	/** @supplierCardinality 1 */
	Expr * left;
};
#endif //D_BINARY_EXPR