reqt-lang
API
Generated with
reqt-lang/reqt/csp

csp

reqt.csp
object csp

A Scala-embedded DSL for expressing integer constraint satisfaction problems.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
csp.type

Members list

Type members

Classlikes

case class AbsXeqY(x: Var, y: Var) extends Constr2, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr2
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class AllDifferent(seq1: Seq[Var]) extends ConstrSeq1

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConstrSeq1
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class And(constrSeq: Seq[Constr]) extends CompoundConstr

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case object And

Attributes

Companion
class
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
And.type
case class Binpacking(item: Vector[Var], load: Vector[Var], size: Vector[Int]) extends ConstrSeq2ConstSeq1

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class Bounds(seq1: Seq[Var], domain: Seq[Range]) extends ConstrSeq1

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ConstrSeq1
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
trait CompoundConstr extends Constr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class And
class Reified
class IfThen
class IfThenElse
Show all
trait CompoundConstr1 extends CompoundConstr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
Known subtypes
class Reified
trait CompoundConstr1Var1 extends CompoundConstr1

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
Known subtypes
class Reified
trait CompoundConstr2 extends CompoundConstr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
Known subtypes
class IfThen
trait CompoundConstr3 extends CompoundConstr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
Known subtypes
class IfThenElse
trait Constr extends HasVariables

Attributes

Supertypes
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class And
class Reified
class IfThen
class IfThenElse
class XeqBool
class XeqC
class XgtC
class XgteqC
class XltC
class XlteqC
class XneqC
trait Constr1Seq1
class SumEq
class Count
trait Constr2
class AbsXeqY
class XeqY
class XgtY
class XgteqY
class XltY
class XlteqY
class XneqY
trait Constr2Seq1
class Indexed
trait Constr3
class Distance
class IfThenBool
class XdivYeqZ
class XexpYeqZ
class XmulYeqZ
class XplusYeqZ
class XplusYlteqZ
trait ConstrMatrix
class Diff2
trait ConstrSeq1
class AllDifferent
class Bounds
class Binpacking
Show all
trait Constr1BoolConst extends Constr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class XeqBool
trait Constr1IntConst extends Constr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class XeqC
class XgtC
class XgteqC
class XltC
class XlteqC
class XneqC
Show all
trait Constr1Seq1 extends Constr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class SumEq
trait Constr1Seq1IntConst extends Constr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class Count
trait Constr2 extends Constr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class AbsXeqY
class XeqY
class XgtY
class XgteqY
class XltY
class XlteqY
class XneqY
Show all
trait Constr2Seq1 extends Constr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class Indexed
trait Constr3 extends Constr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class Distance
class IfThenBool
class XdivYeqZ
class XexpYeqZ
class XmulYeqZ
class XplusYeqZ
class XplusYlteqZ
Show all
trait ConstrMatrix extends Constr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class Diff2
trait ConstrSeq1 extends Constr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class AllDifferent
class Bounds
trait ConstrSeq2ConstSeq1 extends Constr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class Binpacking
case class Count(seq1: Seq[Var], x: Var, c: Int) extends Constr1Seq1IntConst

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class Diff2(rectangles: Vector[Vector[Var]]) extends ConstrMatrix

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait ConstrMatrix
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
object Diff2

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Diff2.type
case class Distance(x: Var, y: Var, z: Var) extends Constr3, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr3
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class EnumVar[T, U](id: T, values: Seq[U]) extends Var

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait Var
class Object
trait Matchable
class Any
Show all
object EnumVar

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
EnumVar.type
transparent trait HasVariables

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Constr
class And
class Reified
class IfThen
class IfThenElse
class XeqBool
class XeqC
class XgtC
class XgteqC
class XltC
class XlteqC
class XneqC
trait Constr1Seq1
class SumEq
class Count
trait Constr2
class AbsXeqY
class XeqY
class XgtY
class XgteqY
class XltY
class XlteqY
class XneqY
trait Constr2Seq1
class Indexed
trait Constr3
class Distance
class IfThenBool
class XdivYeqZ
class XexpYeqZ
class XmulYeqZ
class XplusYeqZ
class XplusYlteqZ
trait ConstrMatrix
class Diff2
trait ConstrSeq1
class AllDifferent
class Bounds
class Binpacking
class Rectangle
Show all
case class IfThen(c1: PrimitiveConstr, c2: PrimitiveConstr) extends CompoundConstr2, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class IfThenBool(x: Var, y: Var, z: Var) extends Constr3, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr3
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class IfThenElse(c1: PrimitiveConstr, c2: PrimitiveConstr, c3: PrimitiveConstr) extends CompoundConstr3, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class Indexed(index: Var, varSeq: Seq[Var], valueAtIndex: Var) extends Constr2Seq1

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr2Seq1
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class IntVar[T](id: T) extends Var

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Var
class Object
trait Matchable
class Any
Show all
case class MulBuilder(x: Var, y: Var)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class PlusBuilder(x: Var, y: Var)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait PrimitiveConstr extends Constr

Attributes

Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class AbsXeqY
class Distance
class IfThen
class IfThenBool
class IfThenElse
class XdivYeqZ
class XeqBool
class XeqC
class XeqY
class XexpYeqZ
class XgtC
class XgtY
class XgteqC
class XgteqY
class XltC
class XltY
class XlteqC
class XlteqY
class XmulYeqZ
class XneqC
class XneqY
class XplusYeqZ
class XplusYlteqZ
Show all
case class Rectangle(x: Var, y: Var, dx: Var, dy: Var) extends HasVariables

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class Reified(c1: PrimitiveConstr, x: Var) extends CompoundConstr1Var1

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class SumBuilder(vs: Vector[Var])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class SumEq(seq1: Seq[Var], x: Var) extends Constr1Seq1

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr1Seq1
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
object Var

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Var.type
trait Var

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class EnumVar[T, U]
class IntVar[T]
case class XdivYeqZ(x: Var, y: Var, z: Var) extends Constr3, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr3
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XeqBool(x: Var, c: Boolean) extends Constr1BoolConst, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XeqC(x: Var, c: Int) extends Constr1IntConst, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XeqY(x: Var, y: Var) extends Constr2, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr2
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XexpYeqZ(x: Var, y: Var, z: Var) extends Constr3, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr3
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XgtC(x: Var, c: Int) extends Constr1IntConst, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XgtY(x: Var, y: Var) extends Constr2, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr2
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XgteqC(x: Var, c: Int) extends Constr1IntConst, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XgteqY(x: Var, y: Var) extends Constr2, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr2
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XltC(x: Var, c: Int) extends Constr1IntConst, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XltY(x: Var, y: Var) extends Constr2, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr2
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XlteqC(x: Var, c: Int) extends Constr1IntConst, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XlteqY(x: Var, y: Var) extends Constr2, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr2
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XmulYeqZ(x: Var, y: Var, z: Var) extends Constr3, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr3
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XneqC(x: Var, c: Int) extends Constr1IntConst, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XneqY(x: Var, y: Var) extends Constr2, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr2
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XplusYeqZ(x: Var, y: Var, z: Var) extends Constr3, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr3
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
case class XplusYlteqZ(x: Var, y: Var, z: Var) extends Constr3, PrimitiveConstr

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constr3
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Show all
object parseConstraints

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object releasePlanningProblem

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def constraints(cs: Constr*): Seq[Constr]
def forAll[T](xs: Seq[T])(f: T => Constr): Seq[Constr]
def forAll[T1, T2](x1s: Seq[T1], x2s: Seq[T2])(f: (T1, T2) => Constr): Seq[Constr]
def forAll[T1, T2, T3](x1s: Seq[T1], x2s: Seq[T2], x3s: Seq[T3])(f: (T1, T2, T3) => Constr): Seq[Constr]
def intVarIds[T](ids: T*): Seq[Var]
def intVars(n: Int): Seq[Var]
def intVars(r: Range): Seq[Var]
def sum(v: Var, vs: Var*): SumBuilder
def sum(vs: Seq[Var]): SumBuilder
def sumForAll[T](xs: Seq[T])(f: T => Var): SumBuilder
def varsBy[T](n: Int)(id: Int => T): Seq[Var]
def varsBy[T](r: Range)(id: Int => T): Seq[Var]

Extensions

Extensions

extension (b: Bounds)
infix def in(r: Range): Bounds
infix def in(rs: Seq[Range]): Bounds
extension (cs: Seq[Constr])
def variables: Seq[Var]
extension (i: Int)
def toValueOf(v: Var): v.Value
extension (v: Var)
infix def in(r: Range): Bounds
infix def in(rs: Seq[Range]): Constr
extension (vs: Seq[Var])
infix def in(r: Range): Bounds
infix def in(rs: Seq[Range]): Bounds
Generated with