FormalCROM

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

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

Value members

Concrete methods

def axiom1: Boolean
def axiom2: Boolean
def axiom3: Boolean
def axiom4: Boolean
def axiom5: Boolean
def wellformed: Boolean
Returns

true iff the CROM is wellformed w.r.t. all axioms provided, false otherwise

Inherited methods

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