Trait

util.analyzers

GenBDDFactory

Related Doc: package analyzers

Permalink

trait GenBDDFactory[Var] extends BaseBDDFactory[Var, BDD]

Generic BDD factory over the type of BDD variables

Var

the type of variable labelled on BDD nodes

Linear Supertypes
BaseBDDFactory[Var, BDD], AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GenBDDFactory
  2. BaseBDDFactory
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract val _factory: net.sf.javabdd.BDDFactory

    Permalink
    Attributes
    protected
  2. abstract val _varCount: Int

    Permalink
    Attributes
    protected
  3. abstract val nbOfVar: Int

    Permalink
    Attributes
    protected
  4. abstract val varMap: HashMap[Var, Int]

    Permalink
    Attributes
    protected

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object FactoryImplicits

    Permalink
  5. def andBDD(left: BDD, right: BDD): BDD

    Permalink

    Delegate BDD AND to JavaBDD factory

    Delegate BDD AND to JavaBDD factory

    left

    BDD

    right

    BDD

    returns

    the resulting BDD

    Definition Classes
    GenBDDFactoryBaseBDDFactory
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def dispose(): Unit

    Permalink

    Send dispose signal to JavaBDD factory

    Send dispose signal to JavaBDD factory

    Definition Classes
    GenBDDFactoryBaseBDDFactory
  9. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  13. def getIthVar(i: Int): BDD

    Permalink

    Return the BDD labelled by the ith variable

    Return the BDD labelled by the ith variable

    i

    the index of the BDD node

    returns

    BDD node

    Definition Classes
    GenBDDFactoryBaseBDDFactory
  14. def getVarMap: Map[BDD, Var]

    Permalink

    returns

    the mapping from BDD to labelled variable

    Definition Classes
    GenBDDFactoryBaseBDDFactory
  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  16. def importBDD[OtherBDD <: BDD](bdd: OtherBDD, bddVar: Map[Var, OtherBDD]): BDD

    Permalink

    Import a BDD in this factory from one coming from another factory

    Import a BDD in this factory from one coming from another factory

    OtherBDD

    the type of the other BDD

    bdd

    the other factory BDD

    bddVar

    the map from BDD node to variables

    returns

    the BDD imported in this factory

    Definition Classes
    BaseBDDFactory
  17. def initFactory(numberOfVar: Int, cacheSize: Int): net.sf.javabdd.BDDFactory

    Permalink

    Initialise a JavaBDD factory

    Initialise a JavaBDD factory

    numberOfVar

    maximum number of variables in BDDs

    cacheSize

    initial size of the cache table containing BDD nodes

    Definition Classes
    GenBDDFactoryBaseBDDFactory
  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  19. def mkNode(variable: Var, high: BDD, low: BDD): BDD

    Permalink

    Build a BDD bu applying the formula v.high + (neg v).low

    Build a BDD bu applying the formula v.high + (neg v).low

    variable

    the variable labelling the BDD

    high

    the high son

    low

    the low son

    returns

    the resulting BDD

    Definition Classes
    GenBDDFactoryBaseBDDFactory
  20. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  21. def notBDD(arg: BDD): BDD

    Permalink

    Delegate BDD Not to JavaBDD factory

    Delegate BDD Not to JavaBDD factory

    arg

    initial BDD

    returns

    negated BDD

    Definition Classes
    GenBDDFactoryBaseBDDFactory
  22. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  23. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  24. def one(): BDD

    Permalink

    returns

    one terminal

    Definition Classes
    GenBDDFactoryBaseBDDFactory
  25. def orBDD(left: BDD, right: BDD): BDD

    Permalink

    Delegate BDD OR to JavaBDD factory

    Delegate BDD OR to JavaBDD factory

    left

    BDD

    right

    BDD

    returns

    the resulting BDD

    Definition Classes
    GenBDDFactoryBaseBDDFactory
  26. def produceVar(variable: Var): BDD

    Permalink

    Try to find the BDD of the variable in the correspondence table and return it if existing, otherwise generate a new BDD

    Try to find the BDD of the variable in the correspondence table and return it if existing, otherwise generate a new BDD

    variable

    the variable

    returns

    a BDD node

    Definition Classes
    GenBDDFactoryBaseBDDFactory
  27. def replaceVar(replace: Var, by: Var, in: BDD): BDD

    Permalink

    replace

    the initial variable to replace

    by

    the new variable

    in

    the BDD

    returns

    the modified BDD

    Definition Classes
    GenBDDFactoryBaseBDDFactory
  28. def reset(): Unit

    Permalink

    Reinitialise the JavaBDD factory to initial variable number

    Reinitialise the JavaBDD factory to initial variable number

    Definition Classes
    GenBDDFactoryBaseBDDFactory
  29. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  30. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  31. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. def zero(): BDD

    Permalink

    returns

    zero terminal

    Definition Classes
    GenBDDFactoryBaseBDDFactory

Inherited from BaseBDDFactory[Var, BDD]

Inherited from AnyRef

Inherited from Any

Ungrouped