Struct libreda_db::layout::prelude::SimpleRPolygon

source ·
pub struct SimpleRPolygon<T> { /* private fields */ }
Expand description

A SimpleRPolygon is a rectilinear polygon. It does not contain holes but can be self-intersecting. The vertices are stored in an implicit format (one coordinate of two neighbour vertices is always the same for rectilinear polygons). This reduces memory usage but has the drawback that edges must alternate between horizontal and vertical. Vertices between two edges of the same orientation will be dropped.

Implementations§

source§

impl<T> SimpleRPolygon<T>

source

pub fn empty() -> SimpleRPolygon<T>

Create empty polygon without any vertices.

source

pub fn num_points(&self) -> usize

👎Deprecated: use len() instead

Get the number of vertices.

source

pub fn len(&self) -> usize

Get the number of vertices.

source

pub fn is_empty(&self) -> bool

Check if polygon has no vertices.

source

pub fn reverse(&mut self)

Reverse the order of the vertices in-place.

source§

impl<T> SimpleRPolygon<T>

source

pub fn reversed(self) -> SimpleRPolygon<T>

Reverse the order of vertices.

source§

impl<T> SimpleRPolygon<T>
where T: Copy,

source

pub fn points(&self) -> impl DoubleEndedIterator + ExactSizeIterator + Clone

Iterate over the points.

source

pub fn edges(&self) -> impl Iterator<Item = REdge<T>>

Get all exterior edges of the polygon.

§Examples
use iron_shapes::simple_rpolygon::SimpleRPolygon;
use iron_shapes::redge::REdge;
let coords = vec![(0, 0), (1, 0), (1, 1), (0, 1)];

let poly = SimpleRPolygon::try_new(&coords).unwrap();
let edges: Vec<_> = poly.edges().collect();
assert_eq!(edges, vec![
    REdge::new((0, 0), (1, 0)),
    REdge::new((1, 0), (1, 1)),
    REdge::new((1, 1), (0, 1)),
    REdge::new((0, 1), (0, 0)),
]);
source

pub fn into_edges(self) -> impl Iterator<Item = REdge<T>>

Get all exterior edges of the polygon. In contrast to SimpleRPolygon::edges this method takes ownership of the polygon.

§Examples
use iron_shapes::simple_rpolygon::SimpleRPolygon;
use iron_shapes::redge::REdge;
let coords = vec![(0, 0), (1, 0), (1, 1), (0, 1)];

let poly = SimpleRPolygon::try_new(&coords).unwrap();
let edges: Vec<_> = poly.edges().collect();
assert_eq!(edges, vec![
    REdge::new((0, 0), (1, 0)),
    REdge::new((1, 0), (1, 1)),
    REdge::new((1, 1), (0, 1)),
    REdge::new((0, 1), (0, 0)),
]);
source§

impl<T> SimpleRPolygon<T>
where T: Copy + PartialEq,

source

pub fn try_new<I, Points, P>(points: I) -> Option<SimpleRPolygon<T>>
where I: IntoIterator<Item = P, IntoIter = Points>, Points: DoubleEndedIterator<Item = P> + ExactSizeIterator + Clone, P: Copy + Into<Point<T>>,

Create new rectilinear polygon from points. Returns None if the polygon defined by the points is not rectilinear.

use iron_shapes::simple_rpolygon::SimpleRPolygon;

let poly1 = SimpleRPolygon::try_new(&vec![(0, 0), (1, 0), (1, 1), (0, 1)]);
assert!(poly1.is_some());

// A triangle cannot be rectilinear.
let poly1 = SimpleRPolygon::try_new(&vec![(0, 0), (1, 0), (1, 1)]);
assert!(poly1.is_none());
source§

impl<T> SimpleRPolygon<T>
where T: CoordinateType,

source

pub fn transformed(&self, tf: &SimpleTransform<T>) -> SimpleRPolygon<T>

Apply the transformation to this rectilinear polygon.

source

pub fn to_simple_polygon(&self) -> SimplePolygon<T>

Convert to a SimplePolygon.

source

pub fn convex_hull(&self) -> SimplePolygon<T>
where T: Ord,

Get the convex hull of the polygon.

Implements Andrew’s Monotone Chain algorithm. See: http://geomalgorithms.com/a10-_hull-1.html

source

pub fn lower_left_vertex(&self) -> Point<T>

Get the vertex with lowest x-coordinate. Prefer lower y-coordinates to break ties.

§Examples
use iron_shapes::simple_rpolygon::SimpleRPolygon;
use iron_shapes::point::Point;
let coords = vec![(0, 0), (1, 0), (1, 1), (0, 1)];

let poly = SimpleRPolygon::try_new(&coords).unwrap();

assert_eq!(poly.lower_left_vertex(), Point::new(0, 0));
source

pub fn orientation(&self) -> Orientation

Get the orientation of the polygon, i.e. check if it is wound clock-wise or counter-clock-wise.

§Examples
use iron_shapes::simple_rpolygon::SimpleRPolygon;
use iron_shapes::point::Point;
use iron_shapes::types::Orientation;
let coords = vec![(0, 0), (1, 0), (1, 1), (0, 1)];

let poly = SimpleRPolygon::try_new(&coords).unwrap();

assert_eq!(poly.orientation(), Orientation::CounterClockWise);
source§

impl<T> SimpleRPolygon<T>
where T: Copy + PartialOrd,

source

pub fn is_rect(&self) -> bool

Check if the polygon is an axis-aligned rectangle.

source§

impl<T> SimpleRPolygon<T>
where T: PartialOrd,

source

pub fn normalize(&mut self)

Rotate the vertices to get the lexicographically smallest polygon. Does not change the orientation.

source

pub fn normalized(self) -> SimpleRPolygon<T>

Rotate the vertices to get the lexicographically smallest polygon. Does not change the orientation.

source§

impl<T> SimpleRPolygon<T>
where T: PartialEq,

source

pub fn normalized_eq(&self, other: &SimpleRPolygon<T>) -> bool

Equality test for simple polygons.

Two polygons are equal iff a cyclic shift on their vertices can be applied such that the both lists of vertices match exactly.

Trait Implementations§

source§

impl<T> Clone for SimpleRPolygon<T>
where T: Clone,

source§

fn clone(&self) -> SimpleRPolygon<T>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<T> Debug for SimpleRPolygon<T>
where T: Debug,

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more
source§

impl<'de, T> Deserialize<'de> for SimpleRPolygon<T>
where T: Deserialize<'de>,

source§

fn deserialize<__D>( __deserializer: __D, ) -> Result<SimpleRPolygon<T>, <__D as Deserializer<'de>>::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<T> DoubledOrientedArea<T> for SimpleRPolygon<T>
where T: CoordinateType,

source§

fn area_doubled_oriented(&self) -> T

Calculates the doubled oriented area.

Using doubled area allows to compute in the integers because the area of a polygon with integer coordinates is either integer or half-integer.

The area will be positive if the vertices are listed counter-clockwise, negative otherwise.

Complexity: O(n)

§Examples
use iron_shapes::traits::DoubledOrientedArea;
use iron_shapes::simple_rpolygon::SimpleRPolygon;
let coords = vec![(0, 0), (1, 0), (1, 1), (0, 1)];

let poly = SimpleRPolygon::try_new(&coords).unwrap();

assert_eq!(poly.area_doubled_oriented(), 2);
source§

impl<T> From<Rect<T>> for SimpleRPolygon<T>
where T: CoordinateType,

source§

fn from(r: Rect<T>) -> SimpleRPolygon<T>

Converts to this type from the input type.
source§

impl<T> From<SimpleRPolygon<T>> for Geometry<T>

source§

fn from(x: SimpleRPolygon<T>) -> Geometry<T>

Converts to this type from the input type.
source§

impl<T> Hash for SimpleRPolygon<T>
where T: Hash,

source§

fn hash<__H>(&self, state: &mut __H)
where __H: Hasher,

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl<T> PartialEq for SimpleRPolygon<T>
where T: PartialEq,

source§

fn eq(&self, other: &SimpleRPolygon<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<T> Serialize for SimpleRPolygon<T>
where T: Serialize,

source§

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
source§

impl<T> TryBoundingBox<T> for SimpleRPolygon<T>
where T: Copy + PartialOrd,

source§

fn try_bounding_box(&self) -> Option<Rect<T>>

Return the bounding box of this geometry if a bounding box is defined.
source§

impl<T, Dst> TryCastCoord<T, Dst> for SimpleRPolygon<T>

§

type Output = SimpleRPolygon<Dst>

Output type of the cast. This is likely the same geometrical type just with other coordinate types.
source§

fn try_cast( &self, ) -> Option<<SimpleRPolygon<T> as TryCastCoord<T, Dst>>::Output>

Try to cast to target data type. Read more
source§

fn cast(&self) -> Self::Output

Cast to target data type. Read more
source§

impl<T> WindingNumber<T> for SimpleRPolygon<T>
where T: CoordinateType,

source§

fn winding_number(&self, point: Point<T>) -> isize

Calculate the winding number of the polygon around this point.

TODO: Define how point on edges and vertices is handled.

See: http://geomalgorithms.com/a03-_inclusion.html

source§

fn contains_point_non_oriented(&self, point: Point<T>) -> bool

Check if point is inside the polygon, i.e. the polygons winds around the point a non-zero number of times. Read more
source§

fn contains_point(&self, point: Point<T>) -> bool

Check if point is inside the polygon, i.e. the polygon winds around the point an odd number of times. Read more
source§

impl<T> Eq for SimpleRPolygon<T>
where T: Eq,

source§

impl<T> StructuralPartialEq for SimpleRPolygon<T>

Auto Trait Implementations§

§

impl<T> Freeze for SimpleRPolygon<T>

§

impl<T> RefUnwindSafe for SimpleRPolygon<T>
where T: RefUnwindSafe,

§

impl<T> Send for SimpleRPolygon<T>
where T: Send,

§

impl<T> Sync for SimpleRPolygon<T>
where T: Sync,

§

impl<T> Unpin for SimpleRPolygon<T>
where T: Unpin,

§

impl<T> UnwindSafe for SimpleRPolygon<T>
where T: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

source§

impl<T> IdType for T
where T: Debug + Clone + Eq + Hash + 'static,

source§

impl<T> IdTypeMT for T
where T: IdType + Sync + Send,

source§

impl<T> TextType for T
where T: Eq + Hash + Clone + Debug,