Trait

util.analyzers

GenMDDFactory

Related Doc: package analyzers

Permalink

trait GenMDDFactory[Var <: Ordered[Var], F[V] <: Traversable[V], Val <: Ordered[Val], TL <: Ordered[TL], Dom] extends AnyRef

Base trait for MDD factory

Var

Variable type

F

collection type for values

Val

values type

TL

terminal type

Dom

variables' domain type

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

Type Members

  1. case class Domain extends Traversable[Val] with Ordered[Domain] with Product with Serializable

    Permalink

    Domain class gathering the possible values of a variable, implements the traversable trait

  2. sealed trait MDD extends Node

    Permalink

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

  3. class MDDNode extends MDD with NodeNP[Val, MDD, Var] with Traversable[(Val, MDD)]

    Permalink

    case class for Node of a MDD

  4. sealed trait Terminal extends MDD

    Permalink
  5. class ValuedTerminal extends Terminal with NodeP[TL]

    Permalink

    case class representing the Terminals

Abstract Value Members

  1. abstract val domains: SortedMap[Var, Domain]

    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. implicit object DomainOrdering extends Ordering[Domain]

    Permalink
  5. implicit object TerminalOrdering extends Ordering[ValuedTerminal]

    Permalink
  6. object TrashTerminal extends Terminal

    Permalink
  7. def addVar(variable: Var, domain: Dom, extractor: (Dom) ⇒ F[Val]): Unit

    Permalink
  8. def addVar(variable: Var, domain: F[Val]): Unit

    Permalink
  9. def addVars(vars: Map[Var, Dom], extractor: (Dom) ⇒ F[Val]): Unit

    Permalink
  10. def addVars(vars: Map[Var, F[Val]]): Unit

    Permalink
  11. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  12. def buildNodeDefaultTrash(variable: Var, f: Map[Val, MDD]): MDD

    Permalink
  13. def clone(): AnyRef

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

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  18. def getDomain(variable: Var): F[Val]

    Permalink
  19. def getIniDomain(variable: Var): Option[Dom]

    Permalink
  20. def getIthVarMDD(index: Int, f: (Val) ⇒ TL): Try[MDD]

    Permalink

    return the MDD of the ith var of the factory

    return the MDD of the ith var of the factory

    index

    index of the variable

    returns

    the mdd if the index is inside domaines range

  21. def getTerminal(value: TL): ValuedTerminal

    Permalink

    return a MDD terminal if existing or build one (only one object per value)

    return a MDD terminal if existing or build one (only one object per value)

    value

    the value of the terminal

  22. def getVarMDD(variable: Var, terminalMap: Map[Val, TL]): Try[MDD]

    Permalink

    returns the MDD of a variable of the MDD factory domain where each edge label is mapped to to terminal given in map function

    returns the MDD of a variable of the MDD factory domain where each edge label is mapped to to terminal given in map function

    variable

    the variable to represents as a MDD

    terminalMap

    the terminal mapping to variable values

  23. def getVarMDD(variable: Var, f: (Val) ⇒ TL): Try[MDD]

    Permalink

    returns the MDD of a variable of the MDD factory domain where each edge label is mapped to terminals according to f function

    returns the MDD of a variable of the MDD factory domain where each edge label is mapped to terminals according to f function

    variable

    the variable to represents as a MDD

    f

    the terminal mapping function

  24. def hashCode(): Int

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
  29. def reset(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  32. def varIsDefined(variable: Var): Boolean

    Permalink

    check if the variable is defined in the MDDFactory

    check if the variable is defined in the MDDFactory

    variable

    the variable to represents as a MDD

  33. final def wait(): Unit

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped