CROI
formal
CROM
formal
CachedCompartment
internal
CachedScalaRoleGraph
graph
CheckConstraints
RolePlayingAutomaton
Compartment
internal
ConcreteValue
Relationship
Contains
CachedScalaRoleGraph
CurryHowardUnionTypes
UnionTypes
c
FormalCROI
card
FormalConstraintModel
classSimpleClassName
ReflectiveHelper
compare
Many
compliant
CROI
FormalCROI
FormalConstraintModel
containsPlayer
CachedScalaRoleGraph
KiamaScalaRoleGraph
RoleGraph
ScalaRoleGraph
core
RolePlayingImpossible
Player
croi
CROI
crom
CROM
ct
FormalCROM