Constr

trait Constr extends Variables

Source: constraints.scala

Linear Supertypes

Known Subclasses

AbsXeqY, AllDifferent, And, Binpacking, Bounds, CompoundConstr, CompoundConstr1, CompoundConstr1Var1, CompoundConstr2, CompoundConstr3, Constr1BoolConst, Constr1IntConst, Constr1Seq1, Constr1Seq1IntConst, Constr2, Constr2Seq1, Constr3, ConstrMatrix, ConstrSeq1, ConstrSeq2ConstSeq1, Count, Diff2, Distance, IfThen, IfThenBool, IfThenElse, IndexValue, PrimitiveConstr, Reified, SumEq, XdivYeqZ, XeqBool, XeqC, XeqY, XexpYeqZ, XgtC, XgtY, XgteqC, XgteqY, XltC, XltY, XlteqC, XlteqY, XmulYeqZ, XneqC, XneqY, XplusYeqZ, XplusYlteqZ

Ordering

Alphabetic
By Inheritance

Inherited

Constr
Variables
DSL
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Abstract Value Members

abstract def productPrefix: String

Definition Classes
DSL
abstract def variables: Seq[Var]

Definition Classes
Variables

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): java.lang.Class[_]

Definition Classes
AnyRef → Any
Annotations
@native()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@native()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@native()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@native()
def prefix: String

Definition Classes
DSL
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toScala: String
Concrete DSL classes should have an executable string representation.
Concrete DSL classes should have an executable string representation. If the default toString is not executable Scala-embedded DSL syntax, then this method is overridden by an executable string.

Definition Classes
Variables → DSL
def toString(): String

Definition Classes
Constr → AnyRef → Any
def varSeqToScala(vs: Seq[Var]): String

Definition Classes
Variables
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@native() @throws( ... )

Inherited from Variables

Value Members

abstract def variables: Seq[Var]

Definition Classes
Variables
def toScala: String
Concrete DSL classes should have an executable string representation.
Concrete DSL classes should have an executable string representation. If the default toString is not executable Scala-embedded DSL syntax, then this method is overridden by an executable string.

Definition Classes
Variables → DSL
def varSeqToScala(vs: Seq[Var]): String

Definition Classes
Variables

Inherited from DSL

Value Members

abstract def productPrefix: String

Definition Classes
DSL
def prefix: String

Definition Classes
DSL

Inherited from AnyRef

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): java.lang.Class[_]

Definition Classes
AnyRef → Any
Annotations
@native()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@native()
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@native()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@native()
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@native() @throws( ... )

Inherited from Any

Value Members

final def asInstanceOf[T0]: T0

Definition Classes
Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any

Ungrouped

abstract def productPrefix: String

Definition Classes
DSL
abstract def variables: Seq[Var]

Definition Classes
Variables
final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): java.lang.Class[_]

Definition Classes
AnyRef → Any
Annotations
@native()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@native()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@native()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@native()
def prefix: String

Definition Classes
DSL
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toScala: String
Concrete DSL classes should have an executable string representation.
Concrete DSL classes should have an executable string representation. If the default toString is not executable Scala-embedded DSL syntax, then this method is overridden by an executable string.

Definition Classes
Variables → DSL
def toString(): String

Definition Classes
Constr → AnyRef → Any
def varSeqToScala(vs: Seq[Var]): String

Definition Classes
Variables
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@native() @throws( ... )

Packages

Constr 

trait Constr extends Variables

Abstract Value Members

Concrete Value Members

Inherited from Variables

Value Members

Inherited from DSL

Value Members

Inherited from AnyRef

Value Members

Inherited from Any

Value Members

Ungrouped

Constr