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

Class BddCompiler

java.lang.Object

software.amazon.smithy.rulesengine.logic.bdd.BddCompiler

public final class BddCompiler
extends Object

BDD compiler that builds a BDD from a CFG.

Constructor Summary

Constructors

Constructor	Description
BddCompiler(Cfg cfg)

Method Summary

Modifier and Type	Method	Description
Bdd	compile()	Compile the CFG into a BDD.
List<Rule>	getIndexedResults()	The ordered result rules after BDD compilation.
List<Condition>	getOrderedConditions()	Get the ordered conditions referenced in the compiled BDD.

Methods inherited from class java.lang.Object

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

Constructor Details

BddCompiler

public BddCompiler(Cfg cfg)

Parameters:

cfg - CFG to convert to a BDD.

Method Details

compile

public Bdd compile()

Compile the CFG into a BDD.

Returns:

the compiled BDD.

getIndexedResults

public List<Rule> getIndexedResults()

The ordered result rules after BDD compilation.

Returns:

ordered BDD result rules.

getOrderedConditions

public List<Condition> getOrderedConditions()

Get the ordered conditions referenced in the compiled BDD.

Returns:

the ordered BDD conditions.