any
fun <T : Comparable<T>> BinaryDecisionDiagram<T>.any(predicate: (T) -> Boolean): Boolean
Content copied to clipboard
Returns true if the BinaryDecisionDiagram has at least one variable element matching the given predicate.
Returns true if the BinaryDecisionDiagram has at least one variable element.