Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

5.  def buildDomainMap(cs: Seq[Constr]): Ivls

   Definition Classes

   SolverUtils

6.  def checkIfNameExists(name: String, vs: Seq[Var]): Boolean

   Definition Classes

   SolverUtils

7.  def checkUniqueToString(vs: Seq[Var]): Set[String]

   Definition Classes

   SolverUtils

8.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @native() @throws( ... )

9.  def collectBounds(cs: Seq[Constr]): Seq[Bounds]

   Definition Classes

   SolverUtils

10.  def collectConstr(cs: Seq[Constr]): Seq[Constr]

    Definition Classes

    SolverUtils

11.  def collectIntVars(s: <error>): Array[JIntVar]
12.  val constraints: Seq[Constr]
13.  def distinctVars(cs: Seq[Constr]): Seq[Var]

    Definition Classes

    SolverUtils

14.  lazy val domainOf: Map[Var, Seq[Interval]]
15.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

16.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

17.  lazy val flatConstr: Seq[Constr]
18.  def flattenAllConstraints(cs: Seq[Constr]): Seq[Constr]

    Definition Classes

    SolverUtils

19.  final def getClass(): java.lang.Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

20.  def intervals(b: Bounds): Map[Var, Seq[Interval]]

    Definition Classes

    SolverUtils

21.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

22.  def mergeIntervals(ivls1: Ivls, ivls2: Ivls): Ivls

    Definition Classes

    SolverUtils

23.  val minimizeHelpVarName: String
24.  def nameToVarMap(vs: Seq[Var]): Map[String, Var]

    Definition Classes

    SolverUtils

25.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

26.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

27.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

28.  val search: Search
29.  def solutionMap(s: <error>, nameToVar: Map[String, Var]): Map[Var, Int]
30.  def solve: Result
31.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

32.  def toJCon(constr: Constr, store: <error>, jIntVar: Map[Var, JIntVar]): <error>
33.  def varToJIntVar(v: Var, s: <error>): JIntVar
34.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

35.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

36.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )