pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.views.interference.operators/Analyse

Analyse

onera.pmlanalyzer.views.interference.operators.Analyse$
object Analyse

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Analyse.type

Members list

Concise view

Type members

Classlikes

trait Ops

If an element x of type T can be analysed then

If an element x of type T can be analysed then

To provide a computation future (computation is not executed yet) of all interference up to maxSize

x.computeKInterference(maxSize)

To actually perform the interference calculus up to maxSize

x.computeKInterference(maxSize, duration)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
object given_Analyse_ConfiguredPlatform

A platform is analysable

A platform is analysable

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Types

Value members

Concrete methods

def getNonExclusiveKBDD[T](values: Seq[T], exclusive: Map[T, Set[T]], max: Int, factory: SymbolBDDFactory): Map[Int, BDD]
def getNonExclusiveScenarioSetCard(platform: ConfiguredPlatform, max: Int): Map[Int, BigInt]

Compute the number of possible scenario sets for a given platform, this result can be used to estimate the proportion of itf or free scenario sets over all possible sets. It can be used to check that 2-ift + 2-free = 2-non-exclusive (for higher cardinalities, the estimation of k-redundant is needed)

Compute the number of possible scenario sets for a given platform, this result can be used to estimate the proportion of itf or free scenario sets over all possible sets. It can be used to check that 2-ift + 2-free = 2-non-exclusive (for higher cardinalities, the estimation of k-redundant is needed)

Attributes

platform

the studied platform

Returns:

the number of scenario sets per size

def getNonExclusiveScenarioSetCardApp(platform: ConfiguredLibraryBasedPlatform, max: Int): Map[Int, BigInt]
def getNonExclusiveScenarioSetCardNoApp(platform: ConfiguredPlatform, max: Int): Map[Int, BigInt]

Deprecated methods

def getRedundantCard(platform: ConfiguredPlatform, free: Set[Set[PhysicalScenarioId]], itf: Set[Set[PhysicalScenarioId]]): Map[Int, BigInt]

Compute the number of k-redundant scenario sets for a given platform, it can be used to check that for all size, k-free + k-itf + k-redundant = k-non-exclusive

Compute the number of k-redundant scenario sets for a given platform, it can be used to check that for all size, k-free + k-itf + k-redundant = k-non-exclusive

Attributes

free

the interference free scenario sets

itf

the interference scenario sets

platform

the platform to analyse

Returns:

the number of k-redundant per size

Deprecated
true

Givens

Givens

given given_Analyse_ConfiguredPlatform: given_Analyse_ConfiguredPlatform.type

A platform is analysable

A platform is analysable

Attributes

Generated with