Class

util.analyzers

MDDFactory

Related Doc: package analyzers

Permalink

class MDDFactory[Var <: Ordered[Var], F[V] <: Traversable[V], Val <: Ordered[Val], TL <: Ordered[TL], Dom] extends GenMDDFactory[Var, F, Val, TL, Dom]

MDD factory class

Var

Variable type

F

collection type for values

Val

values type

TL

terminal type

Dom

variables' domain type

Linear Supertypes
GenMDDFactory[Var, F, Val, TL, Dom], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MDDFactory
  2. GenMDDFactory
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new MDDFactory(vars: Map[Var, Dom] = Map[Var, Dom](), extractor: (Dom) ⇒ F[Val])

    Permalink

    vars

    the variables of the MDDs of the factory

    extractor

    an extractor function from Domain type to a collection of values

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

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

    Definition Classes
    GenMDDFactory
  2. sealed trait MDD extends Node

    Permalink

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

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

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

    Permalink

    case class for Node of a MDD

    case class for Node of a MDD

    Definition Classes
    GenMDDFactory
  4. sealed trait Terminal extends MDD

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

    Permalink

    case class representing the Terminals

    case class representing the Terminals

    Definition Classes
    GenMDDFactory

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
    Definition Classes
    GenMDDFactory
  5. implicit object TerminalOrdering extends Ordering[ValuedTerminal]

    Permalink
    Definition Classes
    GenMDDFactory
  6. object TrashTerminal extends Terminal

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

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

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

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

    Permalink
    Definition Classes
    GenMDDFactory
  11. final def asInstanceOf[T0]: T0

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

    Permalink
    Definition Classes
    GenMDDFactory
  13. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  14. var domains: SortedMap[Var, Domain]

    Permalink
    Attributes
    protected
    Definition Classes
    MDDFactoryGenMDDFactory
  15. final def eq(arg0: AnyRef): Boolean

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

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

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

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

    Permalink
    Definition Classes
    GenMDDFactory
  20. def getIniDomain(variable: Var): Option[Dom]

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

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

    Definition Classes
    GenMDDFactory
  23. 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

    Definition Classes
    GenMDDFactory
  24. 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

    Definition Classes
    GenMDDFactory
  25. def hashCode(): Int

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

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

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

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

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

    Permalink
    Definition Classes
    GenMDDFactory
  31. final def synchronized[T0](arg0: ⇒ T0): T0

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

    Permalink
    Definition Classes
    AnyRef → Any
  33. 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

    Definition Classes
    GenMDDFactory
  34. final def wait(): Unit

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

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

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

Inherited from GenMDDFactory[Var, F, Val, TL, Dom]

Inherited from AnyRef

Inherited from Any

Ungrouped