use std::ffi::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::integration::integrate_rational_function_expr;
use crate::symbolic::integration::risch_norman_integrate;
#[unsafe(no_mangle)]
pub extern "C" fn rssn_json_risch_norman_integrate(
expr_json: *const c_char,
x_json: *const c_char,
) -> *mut c_char {
let expr: Option<Expr> = from_json_string(expr_json);
let x: Option<String> = from_json_string(x_json);
match (expr, x) {
| (Some(e), Some(var)) => {
let result = risch_norman_integrate(&e, &var);
to_json_string(&result)
},
| _ => std::ptr::null_mut(),
}
}
#[unsafe(no_mangle)]
pub extern "C" fn rssn_json_integrate_rational_function(
expr_json: *const c_char,
x_json: *const c_char,
) -> *mut c_char {
let expr: Option<Expr> = from_json_string(expr_json);
let x: Option<String> = from_json_string(x_json);
match (expr, x) {
| (Some(e), Some(var)) => {
match integrate_rational_function_expr(&e, &var) {
| Ok(result) => to_json_string(&result),
| Err(_) => std::ptr::null_mut(),
}
},
| _ => std::ptr::null_mut(),
}
}