documentation
Toggle table of contents
1.5.1-dev02-c0569c38e
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
bdd
/
it.unibo.tuprolog.bdd.exception
/
BinaryDecisionDiagramException
/
BinaryDecisionDiagramException
Binary
Decision
Diagram
Exception
@
JvmOverloads
constructor
(
message
:
String
?
=
null
,
cause
:
Throwable
?
=
null
)
Parameters
message
the detail message string.
cause
the cause of this exception.