SCROLL/scroll.internal.formal/FormalConstraintModel

FormalConstraintModel

object FormalConstraintModel

Companion object for the formal representation of the constraint model.

Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def empty[NT >: Null <: AnyRef, RT >: Null <: AnyRef, CT >: Null <: AnyRef, RST >: Null <: AnyRef]: FormalConstraintModel[NT, RT, CT, RST]
def forStrings(rolec: Map[String, List[((Int, Int), AnyRef)]], card: Map[String, ((Int, Int), (Int, Int))], intra: List[(String, List[(String, String)] => Boolean)]): FormalConstraintModel[String, String, String, String]

Little helper factory method for creating a constraint model with Strings only.

Little helper factory method for creating a constraint model with Strings only.