FormalCROI

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).

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
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def axiom10(crom: FormalCROM[NT, RT, CT, RST]): Boolean
def axiom11(crom: FormalCROM[NT, RT, CT, RST]): Boolean
def axiom6(crom: FormalCROM[NT, RT, CT, RST]): Boolean
def axiom7(): Boolean
def axiom8(): Boolean
def axiom9(crom: FormalCROM[NT, RT, CT, RST]): Boolean
def compliant(crom: FormalCROM[NT, RT, CT, RST]): Boolean
Value Params
crom

the CROM to check against

Returns

true iff the CROI is compliant to the given CROM

def o_c(c: CT): List[NT]
def pred(rst: RST, c: CT, r: RT): List[RT]
def succ(rst: RST, c: CT, r: RT): List[RT]

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product