scroll.internal.formal.FormalConstraintModel
See theFormalConstraintModel companion object
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 parameters
-
CT
-
type of compartments
-
NT
-
type of naturals
-
RST
-
type of relationships
-
RT
-
type of roles
Value parameters
-
card
-
cardinality mappings
-
intra
-
intra-relationship constraints
-
rolec
-
the role constraints
Attributes
-
Companion
-
object
-
Graph
-
-
Supertypes
-
trait Serializable
class Object
trait Matchable
class Any
Show all
Members list
Value parameters
-
crom
-
the CROM instance to check against
Attributes
-
Returns
-
true iff the constraint model is compliant to the given CROM.
Value parameters
-
croi
-
the CROI instance to check against
-
crom
-
the CROM instance to check against
Attributes
-
Returns
-
true iff the constraint model is compliant to the given CROM and the given CROI is valid wrt. the constraint model
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