given_Analyse_ConfiguredPlatform

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

A platform is analysable

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def computeInterference(platform: ConfiguredPlatform, maxSize: Int, ignoreExistingAnalysisFiles: Boolean, verboseResultFile: Boolean): Future[Set[File]]

Sequential version of MONOSAT-based interference computation The parallelization is impossible, MONOSAT is tied to a native library so cannot ensure that parallel calls are safe (TOO BAD)

Sequential version of MONOSAT-based interference computation The parallelization is impossible, MONOSAT is tied to a native library so cannot ensure that parallel calls are safe (TOO BAD)

Attributes

platform

the platform for which the interference are computed, must contained the extra information for the interference calculus

Returns:

the files containing the results of the interference calculus

def printGraph(platform: ConfiguredPlatform): File