Enum tract_pulse::internal::GeometryBound

pub enum GeometryBound<Symbolic, Concrete> {
    Symbolic(Symbolic),
    Concrete(Concrete),
}

Variants

Symbolic(Symbolic)

Concrete(Concrete)

Implementations

impl GeometryBound<SymbolicGeometry, ConcreteGeometry>

pub fn b_pack(&self) -> &Packer

pub fn k(&self) -> usize

impl<S, C> GeometryBound<S, C>where S: ResolveTo<C>, C: Clone,

pub fn is_concrete(&self) -> bool

pub fn into_concrete( self, param: &<S as ResolveTo<C>>::Param ) -> Result<GeometryBound<S, C>, Error>

pub fn to_concrete( &self, param: &<S as ResolveTo<C>>::Param ) -> Result<Cow<'_, C>, Error>

pub fn as_concrete(&self) -> Option<&C>

pub fn optimize_if( self, param: Option<&<S as ResolveTo<C>>::Param> ) -> Result<GeometryBound<S, C>, Error>

Trait Implementations

impl<Symbolic, Concrete> Clone for GeometryBound<Symbolic, Concrete>where Symbolic: Clone, Concrete: Clone,

fn clone(&self) -> GeometryBound<Symbolic, Concrete>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Symbolic, Concrete> Debug for GeometryBound<Symbolic, Concrete>where Symbolic: Debug, Concrete: Debug,

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

Formats the value using the given formatter.

impl<S, C> From<S> for GeometryBound<S, C>

fn from(s: S) -> GeometryBound<S, C>

Converts to this type from the input type.

impl<Symbolic, Concrete> Hash for GeometryBound<Symbolic, Concrete>where Symbolic: Hash, Concrete: Hash,

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

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<Symbolic, Concrete> PartialEq<GeometryBound<Symbolic, Concrete>> for GeometryBound<Symbolic, Concrete>where Symbolic: PartialEq<Symbolic>, Concrete: PartialEq<Concrete>,

fn eq(&self, other: &GeometryBound<Symbolic, Concrete>) -> 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<Symbolic, Concrete> Eq for GeometryBound<Symbolic, Concrete>where Symbolic: Eq, Concrete: Eq,

impl<Symbolic, Concrete> StructuralEq for GeometryBound<Symbolic, Concrete>

impl<Symbolic, Concrete> StructuralPartialEq for GeometryBound<Symbolic, Concrete>