or_expr.cc

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

#include "Or_expr.h"
#include "CNF_clause.h"
#include "Bool_number.h"

CNF_clause * Or_expr::compute_CNF() const {
	CNF_clause * l, * r;

	l = left->compute_CNF();
	r = right->compute_CNF();
	l->log_or(r);
	return l;
}

void Or_expr::semantic_checks() {
	left->semantic_checks();
	assert(left->is_logic()); //fine
	right->semantic_checks();
	assert(right->is_logic()); //fine
}

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

Number * Or_expr::compute_number() const {
	Bool_number * l, * r;

	l = (Bool_number *) left->compute_number();
	r = (Bool_number *) right->compute_number();
	l->log_or(r);
	return l;
}