constraint_item.cc

由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)
*/

#include "Constraint_item.h"
#include "Expr.h"


Constraint_item::Constraint_item(Expr * e, const Globals * glob) : Item(glob) {
	constraint = e;
}

list < const Var_symbol * > Constraint_item::get_required_mme() const {
	assert(0); //fine
	return list < const Var_symbol * > ();
}

list < const Var_symbol * > Constraint_item::get_required_simu() const {
	list < const Var_symbol * > req;

	add_required(req, constraint);
	return req;
}

list < Item * > Constraint_item::unroll() {
	list < Item * > unr;
	list < Item * >::iterator iter;

	unr = constraint->unroll();
	for (iter = unr.begin(); iter != unr.end(); iter++)
		(* iter)->set_unrolled_from(this);
	return unr;
}


Constraint_item::~Constraint_item() {
	delete constraint;
	this->Item::~Item();
}

string Constraint_item::arg_range_check_matlab() const {
	string res;

	res += constraint->arg_range_check_matlab();
	return res;
}