Struct Span 

pub struct Span { /* private fields */ }

The position of an expansion in a Scratch arena.

Spans compare equal, and hash alike, when they have the same position and length, whatever their contents. A span is meaningful only for the arena that created it; see the module documentation.

Examples

use implicit_predicates_core::Scratch;

let mut buf = [0.0; 4];
let mut scratch = Scratch::borrowed(&mut buf);
let span = scratch.push(&[1e-20, 1.0])?;
assert_eq!(span.len(), 2);
assert_eq!(scratch.get(span), &[1e-20, 1.0]);

Implementations

impl Span

pub fn len(self) -> usize

Returns the number of components of the expansion.

Examples

use implicit_predicates_core::Scratch;

let mut buf = [0.0; 2];
let mut scratch = Scratch::borrowed(&mut buf);
assert_eq!(scratch.push(&[1e-20, 1.0])?.len(), 2);

pub fn is_empty(self) -> bool

Returns true if the expansion has no components, that is, if its value is zero.

Examples

use implicit_predicates_core::Scratch;

let mut buf = [0.0; 6];
let mut scratch = Scratch::borrowed(&mut buf);
let a = scratch.push(&[1e-20, 1.0])?;
assert!(scratch.diff(a, a)?.is_empty());

Trait Implementations

impl Clone for Span

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Span

impl Debug for Span

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

Formats the value using the given formatter.

impl Eq for Span

impl Hash for Span

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 PartialEq for Span

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Span