Trait/Object

interpreter

TraceInterpreter

Related Docs: object TraceInterpreter | package interpreter

Permalink

trait TraceInterpreter extends DSLInterpreter

Interpreter of the KCR language

Self Type
TraceInterpreter with Parsing
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TraceInterpreter
  2. DSLInterpreter
  3. ConfigurationAnalyzer
  4. Analyser
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class CompKey(inst: CompInstanceIdent, bdd: BDD) extends Product with Serializable

    Permalink

    Interpretation cache key

    Interpretation cache key

    inst

    the component instance ident

    bdd

    the BDD encoding the system events occurences for which it has been interpreted

  2. class OrderedCompInstIdent extends Ordered[(ConfigurationAnalyzer.this)#OrderedCompInstIdent]

    Permalink

    Class encoding instance identifiers which can be ordered

    Class encoding instance identifiers which can be ordered

    Definition Classes
    ConfigurationAnalyzer
  3. class OrderedCompTrace extends Ordered[(ConfigurationAnalyzer.this)#OrderedCompTrace]

    Permalink

    Class encoding of component traces which can be ordered

    Class encoding of component traces which can be ordered

    Definition Classes
    ConfigurationAnalyzer
  4. class OrderedSymbol extends Ordered[(ConfigurationAnalyzer.this)#OrderedSymbol]

    Permalink

    Class encoding scala Symbol that can be compared

    Class encoding scala Symbol that can be compared

    Definition Classes
    ConfigurationAnalyzer

Abstract Value Members

  1. abstract val InstBoolBDDFactory: InstBoolBDDFactory

    Permalink

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. object InterpreterImplicits

    Permalink

    Util implicit definition for interpreter

  5. object OrderedCompInstIdent

    Permalink

    Companion object for ordered instance identifiers

    Companion object for ordered instance identifiers

    Definition Classes
    ConfigurationAnalyzer
  6. object OrderedCompTrace

    Permalink

    Companion object of component traces

    Companion object of component traces

    Definition Classes
    ConfigurationAnalyzer
  7. object OrderedSymbol

    Permalink

    Companion object for ordered symbols

    Companion object for ordered symbols

    Definition Classes
    ConfigurationAnalyzer
  8. final def asInstanceOf[T0]: T0

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. implicit object compBasicFlow extends Ordering[BasicFlowIdent]

    Permalink

    Order over flow identifiers

    Order over flow identifiers

    Definition Classes
    ConfigurationAnalyzer
  11. implicit object compFlowConst extends Ordering[FlowConst]

    Permalink

    Order over constants

    Order over constants

    Definition Classes
    ConfigurationAnalyzer
  12. implicit object compOrder extends Ordering[CompInstanceIdent]

    Permalink

    Order over instance identifiers in a system component

    Order over instance identifiers in a system component

    Definition Classes
    ConfigurationAnalyzer
  13. def cubeToBDD(pos: Set[InstBoolIdent], neg: Set[InstBoolIdent]): BDD

    Permalink

    Convert a conjunction of system events to a BDD

    Convert a conjunction of system events to a BDD

    pos

    positive litterals

    neg

    negative litterals

    returns

    the resulting BDD

  14. final def eq(arg0: AnyRef): Boolean

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

    Permalink
    Definition Classes
    AnyRef → Any
  16. def evaluate(): Map[CompInstanceIdent, ComponentInterpretation]

    Permalink

    Compute the possible interpretations of the component instances

    Compute the possible interpretations of the component instances

    returns

    the interpretation of system components

  17. def evaluateKnowing(piBDD: BDD, bddVar: Map[InstBoolIdent, BDD]): Map[CompInstanceIdent, ComponentInterpretation]

    Permalink

    Compute the possible interpretations of the component instances and focus on the interpretation that are produced for the combinations of system event encoded in the BDD

    Compute the possible interpretations of the component instances and focus on the interpretation that are produced for the combinations of system event encoded in the BDD

    piBDD

    the BDD of system event

    bddVar

    mapping from system event to BDD nodes

    returns

    the interpretation of system components

  18. def finalize(): Unit

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

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

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

    Permalink
    Definition Classes
    Any
  22. val makePossibleTraces: (ComponentDeclaration) ⇒ Map[(TraceInterpreter.this)#OrderedCompTrace, BDD]

    Permalink

    Generate the possible traces for a component

  23. final def ne(arg0: AnyRef): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
  26. val powerSet: (TypeDeclaration) ⇒ Set[FlowValue]

    Permalink

    Generate the powerset of the set of value given in a type declaration

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

    Permalink
    Definition Classes
    AnyRef
  28. implicit def toOSymb(s: Symbol): (TraceInterpreter.this)#OrderedSymbol

    Permalink

    implicit transformation from Symbol to Ordered Symbol

    implicit transformation from Symbol to Ordered Symbol

    s

    Scala Symbol

    returns

    ordered symbol

    Definition Classes
    ConfigurationAnalyzer
  29. def toString(): String

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

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

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

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

Inherited from DSLInterpreter

Inherited from ConfigurationAnalyzer

Inherited from Analyser

Inherited from AnyRef

Inherited from Any

Ungrouped