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

Class SiftingOptimization.Builder

java.lang.Object

software.amazon.smithy.rulesengine.logic.bdd.SiftingOptimization.Builder

All Implemented Interfaces:

SmithyBuilder<SiftingOptimization>

Enclosing class:

SiftingOptimization

public static final class SiftingOptimization.Builder
extends Object
implements SmithyBuilder<SiftingOptimization>

Method Summary

Modifier and Type	Method	Description
SiftingOptimization	build()	Creates an immutable object that is created from the properties that have been set on the builder.
SiftingOptimization.Builder	cfg(Cfg cfg)	Sets the required control flow graph to optimize.
SiftingOptimization.Builder	coarseEffort(int minNodeCount, int maxPasses)	Sets the coarse optimization parameters.
SiftingOptimization.Builder	granularEffort(int maxNodeCount, int maxPasses)	Sets the granular optimization parameters.
SiftingOptimization.Builder	mediumEffort(int minNodeCount, int maxPasses)	Sets the medium optimization parameters.

Methods inherited from class java.lang.Object

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

Method Details

cfg

public SiftingOptimization.Builder cfg(Cfg cfg)

Sets the required control flow graph to optimize.

Parameters:

cfg - the control flow graph

Returns:

this builder

coarseEffort

public SiftingOptimization.Builder coarseEffort(int minNodeCount,
 int maxPasses)

Sets the coarse optimization parameters.

Coarse optimization runs until the BDD has fewer than minNodeCount nodes or maxPasses have been completed.

Parameters:

minNodeCount - the target size to stop coarse optimization (default: 4,000)

maxPasses - the maximum number of coarse passes (default: 6)

Returns:

this builder

mediumEffort

public SiftingOptimization.Builder mediumEffort(int minNodeCount,
 int maxPasses)

Sets the medium optimization parameters.

Medium optimization runs until the BDD has fewer than minNodeCount nodes or maxPasses have been completed.

Parameters:

minNodeCount - the target size to stop medium optimization (default: 1,000)

maxPasses - the maximum number of medium passes (default: 6)

Returns:

this builder

granularEffort

public SiftingOptimization.Builder granularEffort(int maxNodeCount,
 int maxPasses)

Sets the granular optimization parameters.

Granular optimization only runs if the BDD has fewer than maxNodeCount nodes, and runs for at most maxPasses.

Parameters:

maxNodeCount - the maximum size to attempt granular optimization (default: 8,000)

maxPasses - the maximum number of granular passes (default: 12)

Returns:

this builder

build

public SiftingOptimization build()

Description copied from interface: SmithyBuilder

Creates an immutable object that is created from the properties that have been set on the builder.

Specified by:

build in interface SmithyBuilder<SiftingOptimization>

Returns:

an instance of T