masi/solvecraft
1
0
Fork 0
mirror of https://github.com/bherbruck/solidcraft.git synced 2026-11-03 10:35:58 +00:00
Code Issues Packages Projects Releases 1 Wiki Activity

kernel: the boolean runner builds every SMLib operand

Browse Source 
Boxes and cylinders go into SMLib as truck's own B-reps, through their
schema 4 records (smlib_body), so both kernels start from the same input
whatever the axis. Spheres and tori are SMLib's primitives about +Z, like
truck's, since the import doesn't take truck's revolved surfaces yet. All
41 cases' operands now build; only the boolean itself waits for its shim.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Brennen Herbruck
2026-10-21 01:51:15 -04:00
committed by jyviko
parent 7050e9cfcd
commit 4983b88722
1 changed files with 11 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/kernel/examples/smlib_booleans.rs
+11 -7
View File
@@ -174,9 +174,12 @@ mod run {
o
}
/// The SMLib side, through `solidcraft-smlib`. Primitives and booleans arrive with the
/// operation shims (smlib_primitives.cpp, smlib_ops.cpp); until a call exists it answers
/// "not supported yet" and the report counts the case as not run on SMLib.
/// The SMLib side, through `solidcraft-smlib`. Boxes and cylinders are the very B-reps truck
/// starts from, through their schema 4 records imported into SMLib (`smlib_body`), so both
/// kernels get the same input whatever the axis. Spheres and tori are SMLib's own primitives
/// (about +Z, like truck's): the import doesn't take truck's revolved surfaces yet. The
/// boolean arrives with the operation shims (smlib_ops.cpp); until then it answers "not
/// supported yet" and the report counts the case as not run on SMLib.
mod side {
use solidcraft_kernel::BoolOp;
use solidcraft_kernel::fuzz::Shape;
@@ -188,11 +191,12 @@ mod run {
pub fn shape(s: &Shape) -> Result<Brep, String> {
match s {
Shape::Box { a, b } => Brep::make_box(*a, [b[0] - a[0], b[1] - a[1], b[2] - a[2]]).map_err(|e| e.to_string()),
Shape::Cylinder { .. } => Err(not_yet("cylinder")),
Shape::Sphere { .. } => Err(not_yet("sphere")),
Shape::Torus { .. } => Err(not_yet("torus")),
Shape::Sphere { center, radius } => return Brep::make_sphere(*center, *radius).map_err(|e| e.to_string()),
Shape::Torus { center, major, minor } => return Brep::make_torus(*center, *major, *minor).map_err(|e| e.to_string()),
Shape::Box { .. } | Shape::Cylinder { .. } => {}
}
let body = s.body().map_err(|e| format!("truck primitive: {e}"))?;
solidcraft_kernel::smlib_body(&body).map_err(|e| format!("import: {e}"))
}
/// `a op b`; `None` when the result is empty.