use std::ffi::c_char;
use crate::ffi_apis::common::from_json_string;
use crate::ffi_apis::common::to_json_string;
use crate::symbolic::convergence::analyze_convergence;
use crate::symbolic::core::Expr;
#[unsafe(no_mangle)]
pub extern "C" fn rssn_json_analyze_convergence(
term_json: *const c_char,
var_json: *const c_char,
) -> *mut c_char {
let term: Option<Expr> = from_json_string(term_json);
let var: Option<String> = from_json_string(var_json);
match (term, var) {
| (Some(t), Some(v)) => {
let result = analyze_convergence(&t, &v);
to_json_string(&result)
},
| _ => std::ptr::null_mut(),
}
}