pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.views.interference.model.formalisation/GenBDDFactory/FactoryImplicits

FactoryImplicits

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Keywords
  • no keywords
  • implicit

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>"

Generated with