Geometry.SetOperations.Merge

Set Operations of Polytopes by BSP Merging.

Documentation

type BSP = BinaryTree LeafColor

type BSP3D = BSP Facet3D

type BSP2D = BSP Facet2D

class Clip b v n => Universe b v n where

Minimal complete definition

makeFacet

Methods

makeFacet :: Plane v n -> Facet b v n

Turn plane into a Facet by clipping it by the universe box.

Instances

(Ord n, Fractional n, EqZero n) => Universe (FB2 V2 n) V2 n

Methods

makeFacet :: Plane V2 n -> Facet (FB2 V2 n) V2 n

(Ord n, Fractional n, EqZero n) => Universe (FB3 V3 n) V3 n

Methods

makeFacet :: Plane V3 n -> Facet (FB3 V3 n) V3 n

universePlanes :: (Applicative v, Traversable v, Num n) => [Plane v n]

Planes bounding the UniverseBox.

universeBox :: (Universe b v n, Applicative v, Traversable v, Num n) => [Facet b v n]

List of facets bounding the Universe.

splitRegion :: (Universe b v n, Functor v, Num n) => Plane v n -> [Facet b v n] -> ([Facet b v n], [Facet b v n])

Split a region within a Universe bounded by a list of Facets.

mergeBSPs :: (Universe b v n, Applicative v, Traversable v, Num n, Ord n, EqZero n) => SetOperation -> BSP (Facet b v n) -> BSP (Facet b v n) -> BSP (Facet b v n)

Perform a given SetOperation of two BSPs by merging

trim :: Clip b v n => BSP (Facet b v n) -> BSP (Facet b v n)

Optimize a resulting BSP after merging by removing superficial splitting planes.

makeBSP :: Clip b v n => [Facet b v n] -> BSP (Facet b v n)

Make a BSP from a list of bounding facets.

toBoundary :: (Clip b v n, Functor v, Num n) => BSP (Facet b v n) -> [Facet b v n]

Reconstruct boundary facets from the BSP.