Package software.amazon.smithy.rulesengine.logic.bdd

Class NodeReversal

java.lang.Object

software.amazon.smithy.rulesengine.logic.bdd.NodeReversal

All Implemented Interfaces:

Function<EndpointBddTrait,EndpointBddTrait>

public final class NodeReversal
extends Object
implements Function<EndpointBddTrait,EndpointBddTrait>

Reverses the node ordering in a BDD from bottom-up to top-down for better cache locality.

This transformation reverses the node array (except the terminal at index 0) and updates all references throughout the BDD to maintain correctness.

Constructor Summary

Constructors

Constructor	Description
NodeReversal()

Method Summary

Modifier and Type	Method	Description
EndpointBddTrait	apply(EndpointBddTrait trait)
static Bdd	reverse(Bdd bdd)	Reverses the node ordering in a BDD.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.function.Function

andThen, compose

Constructor Details

NodeReversal

public NodeReversal()

Method Details

apply

public EndpointBddTrait apply(EndpointBddTrait trait)

Specified by:

apply in interface Function<EndpointBddTrait,EndpointBddTrait>

reverse

public static Bdd reverse(Bdd bdd)

Reverses the node ordering in a BDD.

Parameters:

bdd - the BDD to reverse

Returns:

the reversed BDD, or the original if too small to reverse