Enum EntityKind

pub enum EntityKind {
    FreePoint,
    PointOnLine {
        line: VarIndex,
    },
    PointOnCircle {
        circle: VarIndex,
    },
    FreeReal,
    DistanceUnit,
    Bind(VarIndex),
}

The kind of an entity.

Variants

FreePoint

A free point with two degrees of freedom.

PointOnLine

A point bound to a specific line, only one relative degree of freedom.

Fields

line: VarIndex

PointOnCircle

A point bound to a specific circle, only one relative degree of freedom.

Fields

circle: VarIndex

FreeReal

A free real with one degree of freedom

DistanceUnit

A special distance unit entity, effectively a free real.

Bind(VarIndex)

A bind. Never shows up past the compilation stage. It serves as a temporary value in-between compilation steps.

Trait Implementations

impl Clone for EntityKind

fn clone(&self) -> EntityKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EntityKind

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

Formats the value using the given formatter.

impl From<EntityKind> for EntityKind

fn from(value: EntityKind) -> Self

Converts to this type from the input type.

impl Reconstruct for EntityKind

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

Reconstruct the value.

impl Reindex for EntityKind

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

Reindex the expression/rule according to the given map.

impl Serialize for EntityKind

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

where __S: Serializer,

Serialize this value into the given Serde serializer.