Skip to main content

axiolid_mesh_section_contract/
lib.rs

1#![forbid(unsafe_code)]
2//! Portable mesh plane-section operation contract and evidence.
3
4pub mod conformance;
5mod contract;
6mod cut;
7mod fixtures;
8mod region_conformance;
9mod request;
10
11pub use contract::{
12    MeshPlaneSection, SectionContour, SectionEvidence, SectionLimits, SectionOutcome, SectionSource,
13};
14pub use cut::{CutRegion, CutRegionLimits, REFUSED_CROSSING_CUT_RINGS, REFUSED_PINCHED_CUT_REGION};
15pub use request::{
16    ChainEnd, InPlaneRegion, InPlaneSide, PlaneSection, PlaneSectionEvidence, RegionLimits,
17    SectionChain, SectionRequest, SectionRole, REFUSED_IN_PLANE_FACES_ON_BOTH_SIDES,
18    REFUSED_OVERLAPPING_IN_PLANE_FACES, REFUSED_SADDLE_VERTEX,
19};
20
21pub const CAPABILITY_ID: axiolid_contracts::CapabilityId =
22    axiolid_contracts::capability_ids::MESH_SECTION;