Object

interpreter.TraceInterpreter

InterpreterImplicits

Related Doc: package TraceInterpreter

Permalink

object InterpreterImplicits

Util implicit definition for interpreter

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

Type Members

  1. implicit class RichInterpretation[A, T[C] <: Set[C]] extends AnyRef

    Permalink

    Class defining the notion of interpretation product and sum

    Class defining the notion of interpretation product and sum

    A

    the concrete value type

    T

    the collection choosen for gathering valuations

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. final def asInstanceOf[T0]: T0

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

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

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
  15. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  16. implicit def toBasicFlowIdent(inst: InstFlowIdent): BasicFlowIdent

    Permalink

    Extract the basic flow identifier from instance flow identifier

    Extract the basic flow identifier from instance flow identifier

    inst

    instance flow identifier

    returns

    basic flow identifier

  17. implicit def toBoolIdent(inst: InstBoolIdent): BoolIdent

    Permalink

    Extract the basic Boolean identifier from instance Boolean identifier

    Extract the basic Boolean identifier from instance Boolean identifier

    inst

    instance Boolean identifier

    returns

    basic Boolean identifier

  18. implicit def toComponentTraces(interpretation: ComponentInterpretation): ComponentTraces

    Permalink

    Transform a component interpretation of its input and output flows to a set of component traces

    Transform a component interpretation of its input and output flows to a set of component traces

    interpretation

    the interpretation of the component flows

    returns

    the set of component traces

  19. implicit def toOrderedCompTrace(compTrace: ComponentTrace): (TraceInterpreter.this)#OrderedCompTrace

    Permalink

    conversion from component trace to ordered one

    conversion from component trace to ordered one

    compTrace

    interpreter component trace

    returns

    ordered component trace

  20. def toString(): String

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

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped