Module math

Math stage is responsible for most if not all of the optimizations the compiler does. It’s at this point where rules are analyzed, expressions normalized, patterns that can be optimized optimized. It’s the final and most important stage of compilation.

Structs

Adjusted

The adjusted (optimized) part of IR.

Build

Used explicitly for figure IR building.

Entity

An entity along with some metadata.

Expand

A context struct for loading unrolled data.

Expr

An expression with some metadata and a type.

Flags

Compiler flags.

IndexMap

Constructs a map between two sets of numbers A -> B.

Intermediate

The full Math IR, the ultimate result of the entire compiler

Math

A math stage context used across the whole compilation process.

Merge

A utility iterator for merging two sorted iterators.

Optimizations

The optimizations flag group. Currently empty. Has nothing to do with the [optimizations] module.

ReconstructCtx

A context for the recosntruction process.

Rule

A rule along if its aggregated information. Note that entities is not filled until the final steps of compilation.

Enums

EntityKind

The kind of an entity.

ExprKind

A mathematical expression with a flattened memory model.

ExprType

The primitive type of an expression.

RuleKind

Represents a rule of the figure. Rules are normalized iff:

Traits

DeepClone

Deep clone a mathematical expression. This is different from Clone in that it works with the math stage’s flattened memory model and deep clones all of an expression’s dependencies (subexpressions).

FromUnrolled

Helper trait for converting unrolled expressions into math expressions.

GetMathType

Helper trait for getting the type of the expression.

Reconstruct

The main actor in reconstruction process.

Reindex

Helper trait for reindexing process.

Functions

load_script

Loads a GeoScript script and compiles it into Math IR. Encapsulates the entire compiler’s work.