Struct Math

pub struct Math {
    pub entities: Vec<EntityKind>,
    pub dst_var: OnceCell<EntityIndex>,
    pub expr_record: Vec<Expr<()>>,
}

A math stage context used across the whole compilation process.

Fields

entities: Vec<EntityKind>

All figure’s entities

dst_var: OnceCell<EntityIndex>

Distance unit, if exists.

expr_record: Vec<Expr<()>>

Collected expressions in flattened layout.

Implementations

impl Math

pub fn store(&mut self, expr: ExprKind, ty: ExprType) -> VarIndex

Store an expression in the expression record.

pub fn compare(&self, a: &VarIndex, b: &VarIndex) -> Ordering

Compare two expressions referenced by indices.

pub fn get_dst_var(&mut self) -> VarIndex

Get the distance unit and generate it if it doesn’t exist.

Panics

Will never.

pub fn at(&self, index: &VarIndex) -> &Expr<()>

Get the expression at given index.

pub fn add_point(&mut self) -> EntityId

Add a free point entity.

pub fn add_real(&mut self) -> EntityId

Add a free real entity.

Trait Implementations

impl Clone for Math

fn clone(&self) -> Math

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Math

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

Formats the value using the given formatter.

impl Default for Math

fn default() -> Math

Returns the “default value” for a type.