SCROLL/scroll.internal.formal

scroll.internal.formal

package scroll.internal.formal

Type members

Classlikes

trait CROI extends CROM

Representation of a Compartment Role Object Instance (CROI).

Representation of a Compartment Role Object Instance (CROI).

trait CROM extends ECoreImporter

Representation of a Compartment Role Object Model (CROM).

Representation of a Compartment Role Object Model (CROM).

object FormalCROI

Companion object for the formal representation of the Compartment Role Object Instance (CROI).

Companion object for the formal representation of the Compartment Role Object Instance (CROI).

Companion
class
final case
class FormalCROI[NT >: Null <: AnyRef, RT >: Null <: AnyRef, CT >: Null <: AnyRef, RST >: Null <: AnyRef](var n: List[NT], var r: List[RT], var c: List[CT], var type1: Map[AnyRef, AnyRef], var plays: List[(NT, CT, RT)], var links: Map[(RST, CT), List[(RT, RT)]])

Class representation of the Compartment Role Object Instance (CROI).

Class representation of the Compartment Role Object Instance (CROI).

Type Params
CT

type of compartments

NT

type of naturals

RST

type of relationships

RT

type of roles

Value Params
c

list of all compartments

links

link function

n

list of all naturals

plays

plays relation

r

list of all roles

type1

type mapping

Companion
object
object FormalCROM

Companion object for the formal representation of the Compartment Role Object Model (CROM).

Companion object for the formal representation of the Compartment Role Object Model (CROM).

Companion
class
final case
class FormalCROM[NT >: Null <: AnyRef, RT >: Null <: AnyRef, CT >: Null <: AnyRef, RST >: Null <: AnyRef](nt: List[NT], rt: List[RT], ct: List[CT], rst: List[RST], fills: List[(NT, RT)], parts: Map[CT, List[RT]], rel: Map[RST, List[RT]])

Class representation of the Compartment Role Object Model (CROM).

Class representation of the Compartment Role Object Model (CROM).

Type Params
CT

type of compartments

NT

type of naturals

RST

type of relationships

RT

type of roles

Value Params
ct

list of all compartment types

fills

fills-relation

nt

list of all natural types

parts

parts-relation

rel

relationship mappings

rst

list of all relationship types

rt

list of all role types

Companion
object
object FormalConstraintModel

Companion object for the formal representation of the constraint model.

Companion object for the formal representation of the constraint model.

Companion
class
final case
class FormalConstraintModel[NT >: Null <: AnyRef, RT >: Null <: AnyRef, CT >: Null <: AnyRef, RST >: Null <: AnyRef](rolec: Map[CT, List[((Int, Int), AnyRef)]], card: Map[RST, ((Int, Int), (Int, Int))], intra: List[(RST, List[(NT, NT)] => Boolean)])

Class representation of the Constraint Model.

Class representation of the Constraint Model.

Type Params
CT

type of compartments

NT

type of naturals

RST

type of relationships

RT

type of roles

Value Params
card

cardinality mappings

intra

intra-relationship constraints

rolec

the role constraints

Companion
object
final case
class FormalRoleGroup(rolegroups: List[AnyRef], lower: Int, upper: Int)

Class representation of role groups.

Class representation of role groups.

Value Params
lower

lower bound as int

rolegroups

nested role groups if any

upper

upper bound as int

object FormalUtils

Collection of some helper functions for the formal representation of CROM.

Collection of some helper functions for the formal representation of CROM.