final case
class FormalConstraintModel[NT >: Null <: AnyRef, RT >: Null <: AnyRef, CT >: Null <: AnyRef, RST >: Null <: AnyRef](rolec: Map[CT, List[((Int, Int), AnyRef)]], card: Map[RST, ((Int, Int), (Int, Int))], intra: List[(RST, List[(NT, NT)] => Boolean)])
Class representation of the Constraint Model.
- Type Params
- CT
type of compartments
- NT
type of naturals
- RST
type of relationships
- RT
type of roles
- Value Params
- card
cardinality mappings
- intra
intra-relationship constraints
- rolec
the role constraints
- Companion
- object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Value members
Concrete methods
- Value Params
- crom
the CROM instance to check against
- Returns
true iff the constraint model is compliant to the given CROM.