FormalCROI

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

NT: type of naturals
RT: type of roles
CT: type of compartments
RST: type of relationships
n: list of all naturals
r: list of all roles
c: list of all compartments
type1: type mapping
plays: plays relation
links: link function

Linear Supertypes

Serializable, Serializable, Product, Equals, AnyRef, Any

Instance Constructors

new FormalCROI(n: List[NT], r: List[RT], c: List[CT], type1: Map[Any, Any], plays: List[(NT, CT, RT)], links: Map[(RST, CT), List[(RT, RT)]])

n
list of all naturals
r
list of all roles
c
list of all compartments
type1
type mapping
plays
plays relation
links
link function

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
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(crom: FormalCROM[NT, RT, CT, RST]): Boolean
def axiom8(crom: FormalCROM[NT, RT, CT, RST]): Boolean
def axiom9(crom: FormalCROM[NT, RT, CT, RST]): Boolean
var c: List[CT]

list of all compartments
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def compliant(crom: FormalCROM[NT, RT, CT, RST]): Boolean

crom
the CROM to check against
returns
true iff the CROI is compliant to the given CROM
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
var links: Map[(RST, CT), List[(RT, RT)]]

link function
var n: List[NT]

list of all naturals
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def o_c(c: CT): List[NT]
def overline_links(rst: RST, c: CT): List[(NT, NT)]
var plays: List[(NT, CT, RT)]

plays relation
def pred(rst: RST, c: CT, r: RT): List[RT]
var r: List[RT]

list of all roles
def succ(rst: RST, c: CT, r: RT): List[RT]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
var type1: Map[Any, Any]

type mapping
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: object FormalCROI | package formal

case class FormalCROI[NT >: Null, RT >: Null, CT >: Null, RST >: Null](n: List[NT], r: List[RT], c: List[CT], type1: Map[Any, Any], plays: List[(NT, CT, RT)], links: Map[(RST, CT), List[(RT, RT)]]) extends Product with Serializable

Instance Constructors

new FormalCROI(n: List[NT], r: List[RT], c: List[CT], type1: Map[Any, Any], plays: List[(NT, CT, RT)], links: Map[(RST, CT), List[(RT, RT)]])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

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(crom: FormalCROM[NT, RT, CT, RST]): Boolean

def axiom8(crom: FormalCROM[NT, RT, CT, RST]): Boolean

def axiom9(crom: FormalCROM[NT, RT, CT, RST]): Boolean

var c: List[CT]

def clone(): AnyRef

def compliant(crom: FormalCROM[NT, RT, CT, RST]): Boolean

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

var links: Map[(RST, CT), List[(RT, RT)]]

var n: List[NT]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def o_c(c: CT): List[NT]

def overline_links(rst: RST, c: CT): List[(NT, NT)]

var plays: List[(NT, CT, RT)]

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

var r: List[RT]

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

final def synchronized[T0](arg0: ⇒ T0): T0

var type1: Map[Any, Any]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped