1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418
//! Topological structs: vertex, edge, wire, face, shell, and solid
//!
//! ## Examples
//! The following sample code is a description of a topological tetrahedron as a solid model
//! by this package.
//! ```
//! use truck_topology::*;
//!
//! // Create vertices. A tetrahedron has four vertices.
//! let v = Vertex::news(&[(), (), (), ()]);
//!
//! // Create edges. Vertex is implemented the Copy trait.
//! let edge = [
//! Edge::new(&v[0], &v[1], ()),
//! Edge::new(&v[0], &v[2], ()),
//! Edge::new(&v[0], &v[3], ()),
//! Edge::new(&v[1], &v[2], ()),
//! Edge::new(&v[1], &v[3], ()),
//! Edge::new(&v[2], &v[3], ()),
//! ];
//!
//! // Create boundaries of faces as the wire.
//! // Edge is implemented the Copy trait.
//! let wire = vec![
//! Wire::from_iter(vec![&edge[0], &edge[3], &edge[1].inverse()]),
//! Wire::from_iter(vec![&edge[1], &edge[5], &edge[2].inverse()]),
//! Wire::from_iter(vec![&edge[2], &edge[4].inverse(), &edge[0].inverse()]),
//! Wire::from_iter(vec![&edge[3], &edge[5], &edge[4].inverse()]),
//! ];
//!
//! // Create faces by the boundary wires.
//! // The boundary of face must be simple and closed.
//! let mut face: Vec<Face<_, _, _>> = wire.into_iter().map(|wire| Face::new(vec![wire], ())).collect();
//! face[3].invert();
//!
//! // Create shell of faces. Shell can be created by the Vec<Face>.
//! let shell: Shell<_, _, _> = face.into();
//!
//! // Create a tetrahedron solid by the boundary shell.
//! // The boundaries of a solid must be closed and oriented.
//! let solid = Solid::new(vec![shell]);
//! ```
//! ## Elements and containers
//! Main structures in `truck_topology` consist 4 topological elements and 2 topological containers.
//! ### topological elements
//! The following structures are topological elements.
//!
//! * [`Vertex`](./struct.Vertex.html)
//! * [`Edge`](./struct.Edge.html)
//! * [`Face`](./struct.Face.html)
//! * [`Solid`](./struct.Solid.html)
//!
//! Except `Solid`, each topological element has a unique `id` for each instance.
//! In higher-level packages, by mapping this `id` to geometric information, you can draw a solid shape.
//! ### topological containers
//! The following structures are topological container.
//!
//! * [`Wire`](./struct.Wire.html)
//! * [`Shell`](./struct.Shell.html)
//!
//! The entities of `Wire` and `Shell` are `std::collections::VecDeque<Edge>` and `std::vec::Vec<Face>`,
//! respectively, and many methods inherited by `Deref` and `DerefMut`.
//! These containers are used for creating higher-dimentional topological elements and checked the
//! regularity (e.g. connectivity, closedness, and so on) before creating these elements.
#![cfg_attr(not(debug_assertions), deny(warnings))]
#![deny(clippy::all, rust_2018_idioms)]
#![warn(
missing_docs,
missing_debug_implementations,
trivial_casts,
trivial_numeric_casts,
unsafe_code,
unstable_features,
unused_import_braces,
unused_qualifications
)]
use std::collections::VecDeque;
use std::fmt::{Debug, Formatter};
use std::hash::{Hash, Hasher};
use std::sync::{Arc, Mutex};
use truck_base::{id::ID, tolerance::*};
use truck_geotrait::*;
const SEARCH_PARAMETER_TRIALS: usize = 100;
/// Vertex, the minimum topological unit.
///
/// The constructor `Vertex::new()` creates a different vertex each time.
/// These vertices are uniquely identified by their `id`.
/// ```
/// # use truck_topology::Vertex;
/// let v0 = Vertex::new(()); // one vertex
/// let v1 = Vertex::new(()); // another vertex
/// assert_ne!(v0, v1); // two vertices are different
/// ```
#[derive(Debug)]
pub struct Vertex<P> {
point: Arc<Mutex<P>>,
}
/// Edge, which consists two vertices.
///
/// The constructors `Edge::new()`, `Edge::try_new()`, and `Edge::new_unchecked()`
/// create a different edge each time, even if the end vertices are the same one.
/// An edge is uniquely identified by their `id`.
/// ```
/// # use truck_topology::*;
/// let v = Vertex::news(&[(), ()]);
/// let edge0 = Edge::new(&v[0], &v[1], ());
/// let edge1 = Edge::new(&v[0], &v[1], ());
/// assert_ne!(edge0.id(), edge1.id());
/// ```
#[derive(Debug)]
pub struct Edge<P, C> {
vertices: (Vertex<P>, Vertex<P>),
orientation: bool,
curve: Arc<Mutex<C>>,
}
/// Wire, a path or cycle which consists some edges.
///
/// The entity of this struct is `VecDeque<Edge>` and almost methods are inherited from
/// `VecDeque<Edge>` by `Deref` and `DerefMut` traits.
#[derive(Debug)]
pub struct Wire<P, C> {
edge_list: VecDeque<Edge<P, C>>,
}
/// Face, attached to a simple and closed wire.
///
/// The constructors `Face::new()`, `Face::try_new()`, and `Face::new_unchecked()`
/// create a different faces each time, even if the boundary wires are the same one.
/// A face is uniquely identified by their `id`.
/// ```
/// use truck_topology::*;
/// let v = Vertex::news(&[(), ()]);
/// let edge0 = Edge::new(&v[0], &v[1], ());
/// let edge1 = Edge::new(&v[1], &v[0], ());
/// let wire = Wire::from_iter(vec![&edge0, &edge1]);
/// let face0 = Face::new(vec![wire.clone()], ());
/// let face1 = Face::new(vec![wire], ());
/// assert_ne!(face0.id(), face1.id());
/// ```
#[derive(Debug)]
pub struct Face<P, C, S> {
boundaries: Vec<Wire<P, C>>,
orientation: bool,
surface: Arc<Mutex<S>>,
}
/// Shell, a connected compounded faces.
///
/// The entity of this struct is `Vec<Face>` and almost methods are inherited from
/// `Vec<Face>` by `Deref` and `DerefMut` traits.
#[derive(Debug)]
pub struct Shell<P, C, S> {
face_list: Vec<Face<P, C, S>>,
}
/// Solid, attached to a closed shells.
#[derive(Clone, Debug)]
pub struct Solid<P, C, S> {
boundaries: Vec<Shell<P, C, S>>,
}
/// `Result` with crate's errors.
pub type Result<T> = std::result::Result<T, crate::errors::Error>;
trait RemoveTry<T> {
fn remove_try(self) -> T;
}
impl<T> RemoveTry<T> for Result<T> {
#[inline(always)]
fn remove_try(self) -> T { self.unwrap_or_else(|e| panic!("{}", e)) }
}
/// The id of vertex. `Copy` trait is implemented.
/// # Details
/// Since this struct is implemented `Copy` trait,
/// it is useful to use as a key of hashmaps.
/// ```
/// use truck_topology::*;
/// use std::collections::HashMap;
///
/// let v = Vertex::new(0);
/// let v_id = v.id();
///
/// let mut entity_map = HashMap::new();
/// let mut id_map = HashMap::new();
///
/// entity_map.insert(v.clone(), 0); // v must be cloned for sign up the hashmap.
/// id_map.insert(v_id, 0); // v_id is implemented Copy trait!
/// ```
/// The id does not changed even if the value of point changes.
/// ```
/// use truck_topology::*;
/// let v = Vertex::new(0);
///
/// let entity = v.get_point();
/// let v_id: VertexID<usize> = v.id();
///
/// // Change the point!
/// v.set_point(1);
///
/// assert_ne!(entity, v.get_point());
/// assert_eq!(v_id, v.id());
/// ```
pub type VertexID<P> = ID<Mutex<P>>;
/// The id that does not depend on the direction of the edge.
/// # Examples
/// ```
/// use truck_topology::*;
/// let v = Vertex::news(&[(), ()]);
/// let edge0 = Edge::new(&v[0], &v[1], ());
/// let edge1 = edge0.inverse();
/// assert_ne!(edge0, edge1);
/// assert_eq!(edge0.id(), edge1.id());
/// ```
pub type EdgeID<C> = ID<Mutex<C>>;
/// The id that does not depend on the direction of the face.
/// # Examples
/// ```
/// use truck_topology::*;
/// let v = Vertex::news(&[(); 3]);
/// let wire = Wire::from(vec![
/// Edge::new(&v[0], &v[1], ()),
/// Edge::new(&v[1], &v[2], ()),
/// Edge::new(&v[2], &v[0], ()),
/// ]);
/// let face0 = Face::new(vec![wire.clone()], ());
/// let face1 = face0.inverse();
/// let face2 = Face::new(vec![wire], ());
/// assert_ne!(face0, face1);
/// assert_ne!(face0, face2);
/// assert_eq!(face0.id(), face1.id());
/// assert_ne!(face0.id(), face2.id());
/// ```
pub type FaceID<S> = ID<Mutex<S>>;
/// configuration for vertex display format.
#[derive(Clone, Copy, Debug)]
pub enum VertexDisplayFormat {
/// Display all data like `Vertex { id: 0x123456789ab, entity: [0.0, 1.0] }`.
Full,
/// Display id like `Vertex(0x123456789ab)`.
IDTuple,
/// Display entity point like `Vertex([0.0, 1.0])`.
PointTuple,
/// Display only entity point like `[0.0, 1.0]`.
AsPoint,
}
/// Configuration for edge display format.
#[derive(Clone, Copy, Debug)]
pub enum EdgeDisplayFormat {
/// Display all data like `Edge { id: 0x123456789ab, vertices: (0, 1), entity: BSplineCurve {..} }`.
Full {
/// vertex display format
vertex_format: VertexDisplayFormat,
},
/// Display vertices tuple and id like `Edge { id: 0x123456789ab, vertices: (0, 1) }`.
VerticesTupleAndID {
/// vertex display format
vertex_format: VertexDisplayFormat,
},
/// Display end vertices tuple and entity curve like `Edge { vertices: (1, 0), entity: BSplineCurve {..} }`.
VerticesTupleAndCurve {
/// vertex display format
vertex_format: VertexDisplayFormat,
},
/// Display only end vertices like `Edge(0, 1)`.
VerticesTupleStruct {
/// vertex display format
vertex_format: VertexDisplayFormat,
},
/// Display only end vertices like `(0, 1)`.
VerticesTuple {
/// vertex display format
vertex_format: VertexDisplayFormat,
},
/// Display only entity curve like `BSplineCurve {..}`.
AsCurve,
}
/// Configuration for wire display format.
#[derive(Clone, Copy, Debug)]
pub enum WireDisplayFormat {
/// Display tuple struct of edge list like `Wire([Edge {..}, Edge {..}, ..])`.
EdgesListTuple {
/// edge display format
edge_format: EdgeDisplayFormat,
},
/// Display as edge list like `[Edge {..}, Edge {..}, ..]`.
EdgesList {
/// edge display format
edge_format: EdgeDisplayFormat,
},
/// Display as vertex list like `[Vertex {..}, Vertex {..}, ..]`.
VerticesList {
/// vertex display format
vertex_format: VertexDisplayFormat,
},
}
/// Configuration for face display format
#[derive(Clone, Copy, Debug)]
pub enum FaceDisplayFormat {
/// Display all data like `Face { id: 0x123456789ab, boundaries: [Wire(..), Wire(..)], entity: BSplineSurface {..} }`.
Full {
/// display format for boundary wire
wire_format: WireDisplayFormat,
},
/// Display boundary and id like `Face { id: 0x123456789ab, boundaries: [Wire(..), Wire(..)] }`.
BoundariesAndID {
/// display format for boundary wire
wire_format: WireDisplayFormat,
},
/// Display boundary and entity surface like `Face { boundaries: [Wire(..), Wire(..)], entity: BSplineSurface {..} }`.
BoundariesAndSurface {
/// display format for boundary wire
wire_format: WireDisplayFormat,
},
/// Display boundary loops list tuple like `Face([Wire(..), Wire(..)])`.
LoopsListTuple {
/// display format for boundary wire
wire_format: WireDisplayFormat,
},
/// Display boundary loops list like `[Wire(..), Wire(..)]`.
LoopsList {
/// display format for boundary wire
wire_format: WireDisplayFormat,
},
/// Display as surface like `BSplineSurface {..}`.
AsSurface,
}
/// Configuration for shell display format
#[derive(Clone, Copy, Debug)]
pub enum ShellDisplayFormat {
/// Display as faces list tuple struct like `Shell([Face {..}, Face {..}, ..])`.
FacesListTuple {
/// face display format
face_format: FaceDisplayFormat,
},
/// Display as faces list like `[Face {..}, Face {..}, ..]`.
FacesList {
/// face display format
face_format: FaceDisplayFormat,
},
}
/// Configuration for solid display format
#[derive(Clone, Copy, Debug)]
pub enum SolidDisplayFormat {
/// Display solid struct like `Solid { boundaries: [Shell(..), Shell(..), ..] }`.
Struct {
/// shell display format
shell_format: ShellDisplayFormat,
},
/// Display as boundary shell list tuple struct like `Solid([Shell(..), Shell(..), ..])`.
ShellsListTuple {
/// shell display format
shell_format: ShellDisplayFormat,
},
/// Display as boundary shell list like `[Shell(..), Shell(..), ..]`.
ShellsList {
/// shell display format
shell_format: ShellDisplayFormat,
},
}
pub mod compress;
mod edge;
/// classifies the errors that can occur in this crate.
pub mod errors;
/// Defines the boundary iterator.
pub mod face;
/// classifies shell conditions and defines the face iterators.
pub mod shell;
mod solid;
mod vertex;
/// define the edge iterators and the vertex iterator.
pub mod wire;
/// Display structs for debug or display topological elements
pub mod format {
use crate::*;
/// struct for debug formatting
#[allow(missing_debug_implementations)]
#[derive(Clone, Copy)]
pub struct DebugDisplay<'a, T, Format> {
pub(super) entity: &'a T,
pub(super) format: Format,
}
#[derive(Clone)]
pub(super) struct MutexFmt<'a, T>(pub &'a Mutex<T>);
impl<'a, T: Debug> Debug for MutexFmt<'a, T> {
fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
use std::sync::TryLockError;
match self.0.try_lock() {
Ok(guard) => f.write_fmt(format_args!("{:?}", &&*guard)),
Err(TryLockError::Poisoned(err)) => {
f.write_fmt(format_args!("{:?}", &&**err.get_ref()))
}
Err(TryLockError::WouldBlock) => f.pad("<locked>"),
}
}
}
}
use format::*;