variable_expr.cc

由matlab开发的hybrid系统的描述语言

#include "Variable_expr.h"
#include "Var_symbol.h"
#include "CNF_clause.h"
#include "Logic_or_clause.h"
#include "Logic_literal.h"
#include "Affine_func.h"
#include <stdio.h>
#include "Globals.h"
#include "Problem.h"
#include "Problem_handler.h"

string Variable_expr::to_matlab() const {
	return value->to_matlab();
}

/** ported from var_to_logic in boolexp.c */
CNF_clause * Variable_expr::compute_CNF() const {
	CNF_clause * cnf;
	Logic_or_clause * orclause;
	Logic_literal * lit;

	assert(value->get_type() == BOOL_TYPE); //fine
	assert(value->get_kind() != OUTPUT_KIND); //fine

	lit = new Logic_literal(false, value);
	orclause = new Logic_or_clause();
	orclause->add_literal(lit);
	cnf = new CNF_clause();
	cnf->add_or_clause(orclause);
	return cnf;
}

Expr * Variable_expr::shallow_copy() const {
	return new Variable_expr(value, globals);
}


bool Variable_expr::is_real() const {
	return value->get_type() == REAL_TYPE;
}

bool Variable_expr::is_logic() const {
	return value->get_type() == BOOL_TYPE;
}


Affine_func * Variable_expr::compute_affine() const {
	Affine_func * aff;

	assert(is_affine()); //fine

	aff = new Affine_func(value, globals);
	return aff;
}

bool Variable_expr::is_affine() const {
	return value->get_type() == REAL_TYPE;
}


bool Variable_expr::is_symbolic() const {
	assert(0); //fine (don't ask me)
	return true;
}


void Variable_expr::semantic_checks() {
	if (value->get_kind() == OUTPUT_KIND) {
		string msg;
		char buf[20];
		sprintf(buf, "line %d: ", get_source_line());
		msg = buf;
		msg += string("expression contains output variable");
		globals->problem_handler->process(new Problem(ERROR, msg));
	}
}