pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.pml.model.relations

onera.pmlanalyzer.pml.model.relations

package onera.pmlanalyzer.pml.model.relations

Package containing the implicit relations used to connect PML nodes

Attributes

Note:

these relations should not be used directly. To manipulate the relations use the operators detailed in pml.operators

Members list

Concise view

Type members

Classlikes

abstract class AntiReflexiveSymmetricEndomorphism[A](iniValues: Map[A, Set[A]])(using n: Name) extends Endomorphism[A]

Attributes

Graph
Supertypes
class Endomorphism[A]
class Relation[A, A]
class Object
trait Matchable
class Any
Known subtypes
case class AuthorizeRelation[L, R] extends Relation[L, R]

The relations used to encode authorized requests

The relations used to encode authorized requests

Attributes

L

the left type

R

the right type

iniValues

initial values of the relation

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Relation[L, R]
class Object
trait Matchable
class Any
object AuthorizeRelation

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
abstract class Endomorphism[A](iniValues: Map[A, Set[A]])(using n: Name) extends Relation[A, A]

Refinement for endomorphisms (relation on the same type A)

Refinement for endomorphisms (relation on the same type A)

Attributes

A

the elements type

iniValues

initial values of the relation

Graph
Supertypes
class Relation[A, A]
class Object
trait Matchable
class Any
Known subtypes
class LinkRelation[A]
case class LinkRelation[A] extends Endomorphism[A]

The endomorphisms used to encode platform links

The endomorphisms used to encode platform links

Attributes

A

the elements type

iniValues

initial values of the relation

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Endomorphism[A]
class Relation[A, A]
class Object
trait Matchable
class Any
object LinkRelation

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class ProvideRelation[L, R] extends Relation[L, R]

The relations used to encode service providing

The relations used to encode service providing

Attributes

L

the left type

R

the right type

iniValues

initial values of the relation

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Relation[L, R]
class Object
trait Matchable
class Any
object ProvideRelation

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
abstract class ReflexiveSymmetricEndomorphism[A](iniValues: Map[A, Set[A]])(using n: Name) extends Endomorphism[A]

Attributes

Graph
Supertypes
class Endomorphism[A]
class Relation[A, A]
class Object
trait Matchable
class Any
Known subtypes
abstract class Relation[L, R](iniValues: Map[L, Set[R]])(using n: Name)

Relation between two finite sets Warning each one of the set contains the empty set value thus R(a) = \emptyset not imply that a \notin R

Relation between two finite sets Warning each one of the set contains the empty set value thus R(a) = \emptyset not imply that a \notin R

Attributes

L

type of the left set

R

type of the right set

iniValues

initial values of the relation

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class AuthorizeRelation[L, R]
class Endomorphism[A]
class LinkRelation[A]
class ProvideRelation[L, R]
class RoutingRelation[L, R]
class UseRelation[L, R]
class InterfereRelation[L, R]
object Relation

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class RoutingRelation[L, R] extends Relation[L, R]

relation used to encode the routing constraints

relation used to encode the routing constraints

Attributes

L

the left type

R

the right type

iniValues

initial values of the relation

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Relation[L, R]
class Object
trait Matchable
class Any
object RoutingRelation

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class UseRelation[L, R] extends Relation[L, R]

The relations used to encode the service use

The relations used to encode the service use

Attributes

L

the left type

R

the right type

iniValues

initial values of the relation

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Relation[L, R]
class Object
trait Matchable
class Any
object UseRelation

Attributes

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