pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.pml.operators/Route/Ops/SimpleRouterIdentifyNext

SimpleRouterIdentifyNext

onera.pmlanalyzer.pml.operators.Route$.Ops.SimpleRouterIdentifyNext
case class SimpleRouterIdentifyNext(a: Initiator, targets: Iterable[Target], router: Hardware, forbid: Boolean)

Partial routing constraint where the initiator target couples, the router and the type of routing constraint are specified

Attributes

a

the initiator

forbid

if it is a blocking or routing constraint

router

the router

targets

the set of targets

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def to(next: Hardware)(implicit p: Provided[Hardware, Service], l: Linked[Service, Service], r: RoutingRelation[(Initiator, Service, Service), Service]): Unit

PML keyword to specify the link from router that is routed or blocked

PML keyword to specify the link from router that is routed or blocked

Attributes

l

the proof that services can be linked

next

the component linked to router

p

the proof that hardware provide services

r

the proof that a routing relation exists

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with