minus_expr.cc

来自「由matlab开发的hybrid系统的描述语言」· CC 代码 · 共 43 行

#include "Minus_expr.h"
#include "Affine_func.h"
#include "Real_number.h"

Minus_expr::Minus_expr(Expr * l, Expr * r) : Binary_expr(l, r) {
}

void Minus_expr::semantic_checks() {
	left->semantic_checks();
	assert(left->is_real()); //fine
	right->semantic_checks();
	assert(right->is_real()); //fine
}

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

	aff = left->compute_affine();
	aff->sub(right->compute_affine());
	return aff;
}

bool Minus_expr::is_affine() const {
	return right->is_affine() && left->is_affine();
}


bool Minus_expr::is_number() const {
	return left->is_number() && right->is_number();
}

Number * Minus_expr::compute_number() const {
	Real_number * l, * r;

	l = (Real_number *) left->compute_number();
	r = (Real_number *) right->compute_number();
	l->minus(r);
	return l;
}