Object

util.analyzers.GenMDDFactory

TrashTerminal

Related Doc: package GenMDDFactory

Permalink

object TrashTerminal extends Terminal

Linear Supertypes
Terminal, MDD, Node, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TrashTerminal
  2. Terminal
  3. MDD
  4. Node
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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

    Definition Classes
    MDD
  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

    Definition Classes
    MDD
  6. val applyCaseTailRec: (Map[Terminal, MDD]) ⇒ TailRec[Terminal]

    Permalink

    If the selector F is a terminal T then the alternative is the one corresponding to T

    If the selector F is a terminal T then the alternative is the one corresponding to T

    returns

    the resulting MDD after application of alternatives

    Attributes
    protected[util.analyzers.GenMDDFactory]
    Definition Classes
    TrashTerminalMDD
  7. 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

    Definition Classes
    MDD
  8. 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

    Definition Classes
    MDD
  9. final def asInstanceOf[T0]: T0

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. def coFactor(label: Var, value: Val): MDD

    Permalink

    The cofactor of a terminal is himself

    The cofactor of a terminal is himself

    label

    the label to assign

    value

    the value to assign

    returns

    the coFactor of this BDD

    Attributes
    protected[util.analyzers.GenMDDFactory]
    Definition Classes
    TrashTerminalMDD
  12. final def eq(arg0: AnyRef): Boolean

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

    Permalink

    Reference based equality.

    Reference based equality.

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
  21. 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

    Definition Classes
    MDD
  22. 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

    Definition Classes
    MDD
  23. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  24. val terminals: SortedSet[ValuedTerminal]

    Permalink
    Definition Classes
    TrashTerminalMDD
  25. def toString(): String

    Permalink
    Definition Classes
    TrashTerminal → AnyRef → Any
  26. val variables: SortedSet[Var]

    Permalink
    Definition Classes
    TrashTerminalMDD
  27. final def wait(): Unit

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

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

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

Inherited from Terminal

Inherited from MDD

Inherited from Node

Inherited from AnyRef

Inherited from Any

Ungrouped