Package

util.analyzers

analyzerTypes

Permalink

package analyzerTypes

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

Type Members

  1. type DSLEventToZ3Map = Map[InstBoolIdent, BoolExpr]

    Permalink

    Map type associating system events to its Z3 variables

  2. type FlowValue = Set[FlowConst]

    Permalink

    DSL representation of flow valuation ie set of basic flow constants

  3. type FullAnalyzer = Parsing with SMTTranslation with AcceptableCardAnalyzer with MonotonyAnalyser with CutEnumeratorAll with ReliabilityComputer with AcceptableReliabilityAnalyzer with TraceInterpreter with SubstitutionAnalyzerSim with STMDDBuilder with DSEProblemSolverAll with SolutionAnalyzer with CardinalityComputer with SymbolicFailureRateComputer with ArchitectureDrawer with TraceDrawer with OpenPSAExporter with SMVExporter with MDDDrawer with HipHOPSExporter with CircuitGraphExporter

    Permalink

    Type resulting for the mixin of all kind of configuration analysers

  4. type ProbabilityMapType = Map[Int, Real]

    Permalink

    Map type associating BDD variable index (representing events) to their probability

  5. type Real = Rational

    Permalink

    concrete implementation of Real numbers used for probabilistic computations must be set to spire Rational for testing and to Double for performances

  6. type Z3TraceType = List[(InstFlowIdent, BitVecNum)]

    Permalink

    Representation of a trace given by Z3 ie a model of system's flows

Value Members

  1. implicit object RationalIsNumeric extends Numeric[Rational]

    Permalink

    implicit object for implicit conversion based on spire rational

  2. object Real extends Serializable

    Permalink

    generic Real builder depending on Real implementation

Inherited from AnyRef

Inherited from Any

Ungrouped