pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.views.interference.model.specification/InterferenceSpecification

InterferenceSpecification

onera.pmlanalyzer.views.interference.model.specification.InterferenceSpecification$
See theInterferenceSpecification companion trait
object InterferenceSpecification

Attributes

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

Members list

Concise view

Type members

Classlikes

case class ChannelId(id: Symbol) extends Id

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Id
trait Ordered[Id]
trait Comparable[Id]
class Object
trait Matchable
class Any
trait Default extends InterferenceSpecification

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Id extends Ordered[Id]

Attributes

Graph
Supertypes
trait Ordered[Id]
trait Comparable[Id]
class Object
trait Matchable
class Any
Known subtypes
class ChannelId
case class PhysicalScenarioId(id: Symbol) extends Id

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Id
trait Ordered[Id]
trait Comparable[Id]
class Object
trait Matchable
class Any
case class PhysicalScenarioSetId(id: Symbol) extends Id

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Id
trait Ordered[Id]
trait Comparable[Id]
class Object
trait Matchable
class Any
case class PhysicalTransactionId(id: Symbol) extends Id

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Id
trait Ordered[Id]
trait Comparable[Id]
class Object
trait Matchable
class Any

Types

type Channel = Set[Service]
type Path[A] = List[A]

Value members

Concrete methods

Generated with