not_expr.cc

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

#include "Not_expr.h"
#include "CNF_clause.h"
#include "Bool_number.h"

CNF_clause * Not_expr::compute_CNF() const {
	CNF_clause * res;

	res = child->compute_CNF();
	res->log_not();
	return res;
}


void Not_expr::semantic_checks() {
	child->semantic_checks();
	assert(child->is_logic()); //fine
}

bool Not_expr::is_number() const {
	return child->is_number();
}

Number * Not_expr::compute_number() const {
	Bool_number * n;

	n = (Bool_number *) child->compute_number();
	n->log_not();
	return n;
}