Struct iron_shapes::simple_rpolygon::SimpleRPolygon

pub struct SimpleRPolygon<T> {
    half_points: Vec<T>,
    normalized: bool,
}

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.

Fields

half_points: Vec<T>

Vertices of the polygon. Begin with a y-coordinate. First edge is horizontal.

normalized: bool

Implementations

impl<T> SimpleRPolygon<T>

pub fn empty() -> Self

Create empty polygon without any vertices.

pub fn num_points(&self) -> usize

👎Deprecated: use len() instead

Get the number of vertices.

pub fn len(&self) -> usize

Get the number of vertices.

pub fn is_empty(&self) -> bool

Check if polygon has no vertices.

pub fn reverse(&mut self)

Reverse the order of the vertices in-place.

fn prev(&self, i: usize) -> usize

Get index of previous half-point.

fn next(&self, i: usize) -> usize

Get index of next half-point.

impl<T> SimpleRPolygon<T>

pub fn reversed(self) -> Self

Reverse the order of vertices.

impl<T: Copy> SimpleRPolygon<T>

fn get_point(&self, i: usize) -> Point<T>

Get i-th point of the polygon.

pub fn points(&self) -> impl Iterator<Item = Point<T>> + '_

Iterate over the points.

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)),
]);

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

pub fn try_new<P>(points: &Vec<P>) -> Option<Self>where 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());

impl<T: CoordinateType> SimpleRPolygon<T>

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

Apply the transformation to this rectilinear polygon.

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

Convert to a SimplePolygon.

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

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));

fn lower_left_vertex_with_index(&self) -> (usize, Point<T>)

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

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);

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

pub fn is_rect(&self) -> bool

Check if the polygon is an axis-aligned rectangle.

impl<T: PartialOrd> SimpleRPolygon<T>

pub fn normalize(&mut self)

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

pub fn normalized(self) -> Self

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

impl<T: PartialEq> SimpleRPolygon<T>

pub fn normalized_eq(&self, other: &Self) -> 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

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

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

Deserialize this value from the given Serde deserializer.

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

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);

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

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

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

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

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

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

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

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.

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

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

Serialize this value into the given Serde serializer.

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

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

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

impl<T: CoordinateType + NumCast, Dst: CoordinateType + NumCast> 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.

fn try_cast(&self) -> Option<Self::Output>

Try to cast to target data type.

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

Cast to target data type.

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

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

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.

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.

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

impl<T> StructuralEq for SimpleRPolygon<T>

impl<T> StructuralPartialEq for SimpleRPolygon<T>