bool_number.h

来自「由matlab开发的hybrid系统的描述语言」· C头文件 代码 · 共 72 行

/*
	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_BOOL_NUMBER
#define D_BOOL_NUMBER
#ifndef STD_NS
#define STD_NS
using namespace std;

#endif
#include "Number.h"
#include "Symbol.h"

class Bool_number : public Number {
public:
	Bool_number(bool v) { value = v; }

	~Bool_number() { }

	Number * clone() const { return new Bool_number(value); }

	string to_matlab() const;

	Symb_type get_type() const { return BOOL_TYPE; }

	bool get_value() const { return value; }

	void implies(Bool_number * n);

	void log_not();

	void log_and(Bool_number * n);

	void log_or(Bool_number * n);

	void equivalence(Bool_number * n);

private:
	bool value;
};
#endif //D_BOOL_NUMBER