Generated with

pml_analyzer/onera.pmlanalyzer.views.interference.model.formalisation/Problem

Problem

onera.pmlanalyzer.views.interference.model.formalisation.Problem$

See theProblem companion class

object Problem

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: Problem.type

Members list

Concise view

Value members

Concrete methods

def apply(platform: Platform & InterferenceSpecification, groupedScenarios: Map[MLit, Set[PhysicalScenarioId]], litToNodeSet: Map[MLit, Set[Set[MNode]]], idToScenario: Map[PhysicalScenarioId, PhysicalScenario], exclusiveScenarios: Map[PhysicalScenarioId, Set[PhysicalScenarioId]], serviceGraph: MGraph, isFree: ALit, isITF: ALit, pbCst: Set[AssertPB], simpleCst: Set[SimpleAssert], nodeToServices: Map[MNode, Set[Service]], serviceToScenarioLit: Map[Service, Set[PhysicalScenarioId]], maxSize: Option[Int]): Problem

Generated with