partition

Module collider

Source
Expand description

Provides a Collider tool to convert PartitionExpr into a form that is easier to operate by program.

This mod provides the following major structs:

  • Collider: The main struct that converts PartitionExpr.
  • AtomicExpr: An “atomic” Expression, which isn’t composed (OR-ed) of other expressions.
  • NucleonExpr: A simplified expression representation.
  • GluonOp: Further restricted operation set.

On the naming aspect, “collider” is a high-energy machine that cracks particles, “atomic” is a typical non-divisible particle before ~100 years ago, “nucleon” is what composes an atom and “gluon” is the force inside nucleons.

Structs§

AtomicExpr 🔒
Represents an “atomic” Expression, which isn’t composed (OR-ed) of other expressions.
Collider
Collider is used to collide a list of PartitionExpr into a list of AtomicExpr
NucleonExpr 🔒
A simplified expression representation.

Enums§

GluonOp 🔒
Further restricted operation set.

Constants§

CHECK_STEP 🔒
NORMALIZE_STEP 🔒
ZERO 🔒