PlpSolutionDetails

constructor(probability: Double?, bdd: BddPresentation? = null)