FactoryImplicits

onera.pmlanalyzer.views.interference.model.formalisation.GenBDDFactory.FactoryImplicits$

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Implicits

Implicits

implicit def toJavaBDD(variable: Var): BDD

Transform variable to their BDD

Transform variable to their BDD

Attributes

variable

the variable labelled on the root node

Returns:

the BDD "< v, 1, 0>"