Trait

util.analyzers.GenMDDFactory

MDD

Related Doc: package GenMDDFactory

Permalink

sealed trait MDD extends Node

trait for MDD where terminals is the terminals of the MDD,

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

Abstract Value Members

  1. abstract val applyCaseTailRec: (Map[Terminal, MDD]) ⇒ TailRec[MDD]

    Permalink
    Attributes
    protected[util.analyzers.GenMDDFactory]
  2. abstract def coFactor(label: Var, value: Val): MDD

    Permalink

    coFactor(v,vi) gives the resulting MDD where v=vi

    coFactor(v,vi) gives the resulting MDD where v=vi

    label

    the label to assign

    value

    the value to assign

    returns

    the coFactor of this BDD

    Attributes
    protected[util.analyzers.GenMDDFactory]
  3. abstract val terminals: SortedSet[ValuedTerminal]

    Permalink
  4. abstract val variables: SortedSet[Var]

    Permalink

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. def applyCase(altsMap: Map[ValuedTerminal, MDD]): MDD

    Permalink

    F.applyCase(t1->G1,..,tp->Gp) apply MDD Gi if F=ti, thus we must have p=|terminals|

    F.applyCase(t1->G1,..,tp->Gp) apply MDD Gi if F=ti, thus we must have p=|terminals|

    altsMap

    gives for each terminal ti of F the corresponding alternative

    returns

    the resulting MDD after application of alternatives

  5. def applyCaseInOrder(alt: MDD*): MDD

    Permalink

    apply the case operator by giving the alternative in order according to the mdd terminals order

    apply the case operator by giving the alternative in order according to the mdd terminals order

    alt

    alternative fo terminal i

    returns

    the resulting MDD

  6. def applyCaseWithDefault(altsMap: Map[ValuedTerminal, MDD], default: ValuedTerminal): MDD

    Permalink

    apply the case operator by setting all terminals alternatives which are not in altsMap to the default value

    apply the case operator by setting all terminals alternatives which are not in altsMap to the default value

    altsMap

    the alternative map

    default

    the default value

    returns

    the resulting MDD

  7. def applyCaseWithDefaultTrash(altsMap: Map[ValuedTerminal, MDD]): MDD

    Permalink

    apply the case operator by setting all terminals alternatives which are not in altsMap to the trash terminal

    apply the case operator by setting all terminals alternatives which are not in altsMap to the trash terminal

    altsMap

    the alternative map

    returns

    the resulting MDD

  8. final def asInstanceOf[T0]: T0

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

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

    Permalink
    Definition Classes
    AnyRef
  11. def equals(other: Any): Boolean

    Permalink

    Reference based equality.

    Reference based equality.

    Definition Classes
    Node → AnyRef → Any
  12. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  15. final def isInstanceOf[T0]: Boolean

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

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

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

    Permalink
    Definition Classes
    AnyRef
  19. def removeTerminal(terminal: ValuedTerminal): MDD

    Permalink

    adds all the path to the terminal as forbidden values and returns the result

    adds all the path to the terminal as forbidden values and returns the result

    terminal

    the terminal to remove

  20. def removeTerminals(toReplace: Traversable[ValuedTerminal]): MDD

    Permalink

    adds all the path to the terminal as forbidden values and returns the result

    adds all the path to the terminal as forbidden values and returns the result

    toReplace

    the terminals to remove

  21. final def synchronized[T0](arg0: ⇒ T0): T0

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

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

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

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

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

Inherited from Node

Inherited from AnyRef

Inherited from Any

Ungrouped