use std::os::raw::c_char;
use crate::ffi_apis::common::from_json_string;
use crate::ffi_apis::common::to_json_string;
use crate::symbolic::core::Expr;
use crate::symbolic::simplify;
#[unsafe(no_mangle)]
pub extern "C" fn rssn_json_heuristic_simplify(expr_json: *const c_char) -> *mut c_char {
let expr: Option<Expr> = from_json_string(expr_json);
if let Some(e) = expr {
#[allow(deprecated)]
let result = simplify::heuristic_simplify(e);
to_json_string(&result)
} else {
std::ptr::null_mut()
}
}
#[unsafe(no_mangle)]
pub extern "C" fn rssn_json_simplify(expr_json: *const c_char) -> *mut c_char {
let expr: Option<Expr> = from_json_string(expr_json);
if let Some(e) = expr {
#[allow(deprecated)]
let result = simplify::simplify(e);
to_json_string(&result)
} else {
std::ptr::null_mut()
}
}