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