onera.pmlanalyzer.views.interference.model.formalisation.Problem
See theProblem companion object
class Problem(val platform: Platform & InterferenceSpecification, val groupedScenarios: Map[MLit, Set[PhysicalScenarioId]], val litToNodeSet: Map[MLit, Set[Set[MNode]]], val idToScenario: Map[PhysicalScenarioId, PhysicalScenario], val exclusiveScenarios: Map[PhysicalScenarioId, Set[PhysicalScenarioId]], val serviceGraph: MGraph, val isFree: ALit, val isITF: ALit, val pbCst: Set[AssertPB], val simpleCst: Set[SimpleAssert], val nodeToServices: Map[MNode, Set[Service]], val serviceToScenarioLit: Map[Service, Set[PhysicalScenarioId]], val maxSize: Option[Int]) extends ProblemElement
Attributes
- Companion:
- object
- Graph
- Supertypes