cottax.consumers.architectures.closing module

Every group of cuts closed by a Closing, each at a name of its own; CloseFunctionalCycles, the op recording a rule.

closed[N: Label, V: Place](opened: Iterable[Opened[N, V]], closing: Closing[N, V])

Every group on every cycle closed, each bound at a name of its own.

Return type:

tuple[GraphOp[N, V], ...]

class CloseFunctionalCycles[N: Label, V: Place](rule: CutRule[N, V], closing: Closing[N, V])

Bases: ComposedOp[N, V], Generic[N, V]

Every cycle of the function nodes closed by the rule, over the graph this op is applied to. Records the rule, where a closure records a decision.

rule: CutRule[N, V]

closing: Closing[N, V]

composed(graph: NestingGraph[N, V])

The ops this one is. Takes a graph, so an expansion may depend on what it meets.

Return type:

Sequence[GraphOp[N, V]]