Module var_partition

Structs

VarPartitionedExpr

The result of partitioning an expression.

Functions

var_partitions

Partition an expression by the variable identifiers.

var_partitions_with_map

Partition an expression using the partition function f e.g. var(x) + var(y) + var(z), where f(x) = {x} and f(y | z) = {y} the partitioned expr will be root: var(x) + var(y).0 + var(y).1, { x: var(x), y: pack(0: var(y), 1: var(z) }