Enum geo_aid::script::math::ExprKind

pub enum ExprKind {
    Entity {
        id: EntityId,
    },
    LineLineIntersection {
        k: VarIndex,
        l: VarIndex,
    },
    AveragePoint {
        items: Vec<VarIndex>,
    },
    CircleCenter {
        circle: VarIndex,
    },
    Sum {
        plus: Vec<VarIndex>,
        minus: Vec<VarIndex>,
    },
    Product {
        times: Vec<VarIndex>,
        by: Vec<VarIndex>,
    },
    Const {
        value: ProcNum,
    },
    Power {
        value: VarIndex,
        exponent: CompExponent,
    },
    PointPointDistance {
        p: VarIndex,
        q: VarIndex,
    },
    PointLineDistance {
        point: VarIndex,
        line: VarIndex,
    },
    ThreePointAngle {
        p: VarIndex,
        q: VarIndex,
        r: VarIndex,
    },
    ThreePointAngleDir {
        p: VarIndex,
        q: VarIndex,
        r: VarIndex,
    },
    TwoLineAngle {
        k: VarIndex,
        l: VarIndex,
    },
    PointX {
        point: VarIndex,
    },
    PointY {
        point: VarIndex,
    },
    PointPoint {
        p: VarIndex,
        q: VarIndex,
    },
    AngleBisector {
        p: VarIndex,
        q: VarIndex,
        r: VarIndex,
    },
    ParallelThrough {
        point: VarIndex,
        line: VarIndex,
    },
    PerpendicularThrough {
        point: VarIndex,
        line: VarIndex,
    },
    ConstructCircle {
        center: VarIndex,
        radius: VarIndex,
    },
}

Variants

Entity

Fields

id: EntityId

LineLineIntersection

k and l must be ordered

Fields

k: VarIndex

l: VarIndex

AveragePoint

Items must be sorted

Fields

items: Vec<VarIndex>

CircleCenter

Fields

circle: VarIndex

Sum

plus and minus must be sorted and must not contain other sums. An aggregated constant, if any, must be at the end.

Fields

plus: Vec<VarIndex>

minus: Vec<VarIndex>

Product

times and by must be sorted and must not contain other sums. An aggregated constant, if any, must be at the end.

Fields

times: Vec<VarIndex>

by: Vec<VarIndex>

Const

Fields

value: ProcNum

Power

Fields

value: VarIndex

exponent: CompExponent

PointPointDistance

p and q must be ordered

Fields

p: VarIndex

q: VarIndex

PointLineDistance

Fields

point: VarIndex

line: VarIndex

ThreePointAngle

p and r must be ordered

Fields

p: VarIndex

q: VarIndex

r: VarIndex

ThreePointAngleDir

p and r must be ordered

Fields

p: VarIndex

q: VarIndex

r: VarIndex

TwoLineAngle

k and l must be ordered

Fields

k: VarIndex

l: VarIndex

PointX

Fields

point: VarIndex

PointY

Fields

point: VarIndex

PointPoint

Normalized iff p and q are in ascending order

Fields

p: VarIndex

q: VarIndex

AngleBisector

Normalized iff a and c are in ascending order (b must stay in the middle)

Fields

p: VarIndex

q: VarIndex

r: VarIndex

ParallelThrough

Always normalized

Fields

point: VarIndex

line: VarIndex

PerpendicularThrough

Always normalized

Fields

point: VarIndex

line: VarIndex

ConstructCircle

Fields

center: VarIndex

radius: VarIndex

Implementations

impl ExprKind

pub fn variant_id(&self) -> usize

pub fn compare(&self, other: &Self, math: &Math) -> Ordering

Trait Implementations

impl Clone for ExprKind

fn clone(&self) -> ExprKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExprKind

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

Formats the value using the given formatter.

impl DeepClone for ExprKind

fn deep_clone(&self, arg0: &mut Math) -> Self

impl Default for ExprKind

fn default() -> Self

Returns the “default value” for a type.

impl FromUnrolled<Circle> for ExprKind

fn load(expr: &Unrolled<UnrolledCircle>, math: &mut Expand) -> Self

impl FromUnrolled<Line> for ExprKind

fn load(expr: &Unrolled<UnrolledLine>, math: &mut Expand) -> Self

impl FromUnrolled<Point> for ExprKind

fn load(expr: &Unrolled<UnrolledPoint>, math: &mut Expand) -> Self

impl FromUnrolled<Scalar> for ExprKind

fn load(expr: &Unrolled<Scalar>, math: &mut Expand) -> Self

impl Hash for ExprKind

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 Ord for ExprKind

fn cmp(&self, other: &ExprKind) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for ExprKind

fn eq(&self, other: &ExprKind) -> 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 PartialOrd for ExprKind

fn partial_cmp(&self, other: &ExprKind) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Reconstruct for ExprKind

fn reconstruct(self, arg0: &mut ReconstructCtx<'_>) -> Self

impl Reindex for ExprKind

fn reindex(&mut self, arg0: &IndexMap)

impl Serialize for ExprKind

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ExprKind

impl StructuralPartialEq for ExprKind