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

Class CostOptimization

java.lang.Object

software.amazon.smithy.rulesengine.logic.bdd.CostOptimization

All Implemented Interfaces:

Function<EndpointBddTrait,EndpointBddTrait>

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

A kind of sifting optimization that refines BDD ordering to minimize expected evaluation cost.

Uses greedy hill-climbing: for each hot variable (by reach probability × cost), probes strategic target positions and accepts the best improving move per round.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	CostOptimization.Builder	Builder for CostOptimization.

Method Summary

Modifier and Type	Method	Description
EndpointBddTrait	apply(EndpointBddTrait trait)
static CostOptimization.Builder	builder()	Creates a new builder.

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

Method Details

builder

public static CostOptimization.Builder builder()

Creates a new builder.

Returns:

the builder

apply

public EndpointBddTrait apply(EndpointBddTrait trait)

Specified by:

apply in interface Function<EndpointBddTrait,EndpointBddTrait>