BddPresentation

data class BddPresentation(val dot: String, val title: String? = null)

A probabilistic solution's binary decision diagram, ready for a toolkit-specific renderer to draw.

Constructors

constructor(dot: String, title: String? = null)