Class

util.analyzers.GenMDDFactory

ValuedTerminal

Related Doc: package GenMDDFactory

Permalink

class ValuedTerminal extends Terminal with NodeP[TL]

case class representing the Terminals

Linear Supertypes
NodeP[TL], Terminal, MDD, Node, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ValuedTerminal
  2. NodeP
  3. Terminal
  4. MDD
  5. Node
  6. AnyRef
  7. 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[MDD]

    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
    ValuedTerminalMDD
  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
    ValuedTerminalMDD
  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. lazy val hashCode: Int

    Permalink
    Definition Classes
    NodeP → 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. final val param: TL

    Permalink

    actual value of the terminal

    actual value of the terminal

    Definition Classes
    ValuedTerminalNodeP
  22. 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
  23. 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
  24. final def synchronized[T0](arg0: ⇒ T0): T0

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

    Permalink
    Definition Classes
    ValuedTerminalMDD
  26. def toString(): String

    Permalink
    Definition Classes
    ValuedTerminal → AnyRef → Any
  27. val variables: SortedSet[Var]

    Permalink
    Definition Classes
    ValuedTerminalMDD
  28. final def wait(): Unit

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

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

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

Inherited from NodeP[TL]

Inherited from Terminal

Inherited from MDD

Inherited from Node

Inherited from AnyRef

Inherited from Any

Ungrouped