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 convertsPartitionExpr
.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§
- Atomic
Expr 🔒 - 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 ofAtomicExpr
- Nucleon
Expr 🔒 - A simplified expression representation.
Enums§
- GluonOp 🔒
- Further restricted operation set.
Constants§
- NORMALIZE_
STEP 🔒 - ZERO 🔒