Package software.amazon.smithy.rulesengine.logic.bdd
package software.amazon.smithy.rulesengine.logic.bdd
-
ClassDescriptionBinary Decision Diagram (BDD) with complement edges for efficient rule evaluation.BDD compiler that builds a BDD from a CFG.Verifies functional equivalence between a CFG and its BDD representation.Exception thrown when verification fails.Formats BDD node structures to a writer.Consumer that receives every node in a
Bdd.Reverses the node ordering in a BDD from bottom-up to top-down for better cache locality.BDD optimization using tiered parallel position evaluation with dependency-aware constraints.