Trait

util.analyzers

BaseBDDFactory

Related Doc: package analyzers

Permalink

trait BaseBDDFactory[Var, MyBDD <: BDD] extends AnyRef

base trait for BDD factories

Var

the type of variable labelled on BDD nodes

MyBDD

the BDD representation which must be a subtype of JavaBDD type

Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BaseBDDFactory
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def andBDD(left: MyBDD, right: MyBDD): MyBDD

    Permalink

    BDD AND

    BDD AND

    left

    BDD

    right

    BDD

    returns

    the resulting BDD

  2. abstract def dispose(): Unit

    Permalink

    Free native data structure if exists

  3. abstract def getIthVar(i: Int): MyBDD

    Permalink

    Return the ith BDD node in the table

    Return the ith BDD node in the table

    i

    the index of the BDD node

    returns

    BDD node

  4. abstract def getVarMap: Map[MyBDD, Var]

    Permalink

    returns

    the mapping from BDD to labelled variable

  5. abstract def initFactory(numberOfVar: Int, cacheSize: Int): net.sf.javabdd.BDDFactory

    Permalink

    initialisation of the cache and number of node of the factory

    initialisation of the cache and number of node of the factory

    numberOfVar

    maximum number of variables in BDDs

    cacheSize

    initial size of the cache table containing BDD nodes

  6. abstract def mkNode(variable: Var, high: MyBDD, low: MyBDD): MyBDD

    Permalink

    Build a MDDNode labelled by a variable where the high and low sons are given

    Build a MDDNode labelled by a variable where the high and low sons are given

    variable

    the variable labelling the BDD

    high

    the high son

    low

    the low son

    returns

    the resulting BDD

  7. abstract def notBDD(arg: MyBDD): MyBDD

    Permalink

    BDD negation

    BDD negation

    arg

    initial BDD

    returns

    negated BDD

  8. abstract def one(): MyBDD

    Permalink

    Return the one terminal

    Return the one terminal

    returns

    one terminal

  9. abstract def orBDD(left: MyBDD, right: MyBDD): MyBDD

    Permalink

    BDD OR

    BDD OR

    left

    BDD

    right

    BDD

    returns

    the resulting BDD

  10. abstract def produceVar(variable: Var): MyBDD

    Permalink

    Produce a BDD node labelled with a given variable

    Produce a BDD node labelled with a given variable

    variable

    the variable

    returns

    a BDD node

  11. abstract def replaceVar(replace: Var, by: Var, in: MyBDD): MyBDD

    Permalink

    Replace all BDD nodes labelled by a given to variable to another one

    Replace all BDD nodes labelled by a given to variable to another one

    replace

    the initial variable to replace

    by

    the new variable

    in

    the BDD

    returns

    the modified BDD

  12. abstract def reset(): Unit

    Permalink

    Clean the cache and the index table

  13. abstract def zero(): MyBDD

    Permalink

    Return the zero terminal

    Return the zero terminal

    returns

    zero terminal

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. final def asInstanceOf[T0]: T0

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  10. def hashCode(): Int

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

    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

  12. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  13. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  14. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  16. final def synchronized[T0](arg0: ⇒ T0): T0

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped