use crate::ffi_apis::common::BincodeBuffer;
use crate::ffi_apis::common::from_bincode_buffer;
use crate::ffi_apis::common::to_bincode_buffer;
use crate::ffi_apis::symbolic_graph_operations_ffi::handle::convert_expr_graph_to_string_graph;
use crate::symbolic::graph::Graph;
use crate::symbolic::graph_operations::cartesian_product;
use crate::symbolic::graph_operations::complement;
use crate::symbolic::graph_operations::disjoint_union;
use crate::symbolic::graph_operations::induced_subgraph;
use crate::symbolic::graph_operations::intersection;
use crate::symbolic::graph_operations::join;
use crate::symbolic::graph_operations::tensor_product;
use crate::symbolic::graph_operations::union;
#[unsafe(no_mangle)]
pub unsafe extern "C" fn rssn_bincode_graph_induced_subgraph(
input_buf: BincodeBuffer
) -> BincodeBuffer {
#[derive(serde::Deserialize)]
struct Input {
graph: Graph<String>,
nodes: Vec<String>,
}
let input: Input = match from_bincode_buffer(&input_buf) {
| Some(i) => i,
| None => return BincodeBuffer::empty(),
};
let result = induced_subgraph(&input.graph, &input.nodes);
to_bincode_buffer(&result)
}
#[unsafe(no_mangle)]
pub unsafe extern "C" fn rssn_bincode_graph_union(input_buf: BincodeBuffer) -> BincodeBuffer {
#[derive(serde::Deserialize)]
struct Input {
g1: Graph<String>,
g2: Graph<String>,
}
let input: Input = match from_bincode_buffer(&input_buf) {
| Some(i) => i,
| None => return BincodeBuffer::empty(),
};
let result = union(&input.g1, &input.g2);
to_bincode_buffer(&result)
}
#[unsafe(no_mangle)]
pub unsafe extern "C" fn rssn_bincode_graph_intersection(
input_buf: BincodeBuffer
) -> BincodeBuffer {
#[derive(serde::Deserialize)]
struct Input {
g1: Graph<String>,
g2: Graph<String>,
}
let input: Input = match from_bincode_buffer(&input_buf) {
| Some(i) => i,
| None => return BincodeBuffer::empty(),
};
let result = intersection(&input.g1, &input.g2);
to_bincode_buffer(&result)
}
#[unsafe(no_mangle)]
pub unsafe extern "C" fn rssn_bincode_graph_cartesian_product(
input_buf: BincodeBuffer
) -> BincodeBuffer {
#[derive(serde::Deserialize)]
struct Input {
g1: Graph<String>,
g2: Graph<String>,
}
let input: Input = match from_bincode_buffer(&input_buf) {
| Some(i) => i,
| None => return BincodeBuffer::empty(),
};
let result_expr = cartesian_product(&input.g1, &input.g2);
let result = convert_expr_graph_to_string_graph(&result_expr);
to_bincode_buffer(&result)
}
#[unsafe(no_mangle)]
pub unsafe extern "C" fn rssn_bincode_graph_tensor_product(
input_buf: BincodeBuffer
) -> BincodeBuffer {
#[derive(serde::Deserialize)]
struct Input {
g1: Graph<String>,
g2: Graph<String>,
}
let input: Input = match from_bincode_buffer(&input_buf) {
| Some(i) => i,
| None => return BincodeBuffer::empty(),
};
let result_expr = tensor_product(&input.g1, &input.g2);
let result = convert_expr_graph_to_string_graph(&result_expr);
to_bincode_buffer(&result)
}
#[unsafe(no_mangle)]
pub unsafe extern "C" fn rssn_bincode_graph_complement(graph_buf: BincodeBuffer) -> BincodeBuffer {
let graph: Graph<String> = match from_bincode_buffer(&graph_buf) {
| Some(g) => g,
| None => return BincodeBuffer::empty(),
};
let result = complement(&graph);
to_bincode_buffer(&result)
}
#[unsafe(no_mangle)]
pub unsafe extern "C" fn rssn_bincode_graph_disjoint_union(
input_buf: BincodeBuffer
) -> BincodeBuffer {
#[derive(serde::Deserialize)]
struct Input {
g1: Graph<String>,
g2: Graph<String>,
}
let input: Input = match from_bincode_buffer(&input_buf) {
| Some(i) => i,
| None => return BincodeBuffer::empty(),
};
let result_expr = disjoint_union(&input.g1, &input.g2);
let result = convert_expr_graph_to_string_graph(&result_expr);
to_bincode_buffer(&result)
}
#[unsafe(no_mangle)]
pub unsafe extern "C" fn rssn_bincode_graph_join(input_buf: BincodeBuffer) -> BincodeBuffer {
#[derive(serde::Deserialize)]
struct Input {
g1: Graph<String>,
g2: Graph<String>,
}
let input: Input = match from_bincode_buffer(&input_buf) {
| Some(i) => i,
| None => return BincodeBuffer::empty(),
};
let result_expr = join(&input.g1, &input.g2);
let result = convert_expr_graph_to_string_graph(&result_expr);
to_bincode_buffer(&result)
}