Packages

  • package root
    Definition Classes
    root
  • package jp
    Definition Classes
    root
  • package kobe_u
    Definition Classes
    jp
  • package copris

    Provides classes for Constraint Programming in Scala.

    Provides classes for Constraint Programming in Scala.

    OVERVIEW

    The following is a sample program in Copris DSL (Domain Specific Language).

    object FirstStep {
      import jp.kobe_u.copris._
      import jp.kobe_u.copris.dsl._
    
      def main(args: Array[String]) = {
        val x = int('x, 0, 7)
        val y = int('y, 0, 7)
        add(x + y === 7)
        add(x * 2 + y * 4 === 20)
        if (find) {
          println(solution)
        }
      }
    }
    Definition Classes
    kobe_u
  • package jsr331
    Definition Classes
    copris
  • JSR331
  • Solver
  • Translator
  • dsl
  • package loader
    Definition Classes
    copris
  • package pb
    Definition Classes
    copris
  • package smt
    Definition Classes
    copris
  • package sugar
    Definition Classes
    copris

package jsr331

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. class JSR331 extends CoprisTrait

    Class for JSR331 DSL

  2. class Solver extends AbstractSolver

    Class for JSR331 solver

  3. class Translator extends AnyRef

Value Members

  1. object dsl extends CoprisTrait

    Object for JSR331 DSL

Ungrouped