bddOf

fun <T : Comparable<T>> bddOf(value: T): BinaryDecisionDiagram<T>

Shortcut for the BinaryDecisionDiagram.variableOf method.