FormalCROM

scroll.internal.formal.FormalCROM
See theFormalCROM companion object
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 parameters

CT

type of compartments

NT

type of naturals

RST

type of relationships

RT

type of roles

Value parameters

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

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

Attributes

Returns

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

Inherited methods

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product