BinaryDecisionDiagramOperationException
Parameters
message
the detail message string.
cause
the cause of this exception (e.g. the original exception thrown by the failed operation or by a user-supplied callback).