SCROLL
API
Generated with
SCROLL/scroll/scroll.internal/scroll.internal.formal/FormalCROI

FormalCROI

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

CT

type of compartments

NT

type of naturals

RST

type of relationships

RT

type of roles

Value parameters

c

list of all compartments

links

link function

n

list of all naturals

plays

plays relation

r

list of all roles

type1

type mapping

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

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 parameters

crom

the CROM to check against

Attributes

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]

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
def productIterator: Iterator[Any]

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
Generated with