Constructs Copris with empty CSP and jp.kobe_u.copris.DefaultSolver
Constructs Copris with the given CSP and jp.kobe_u.copris.DefaultSolver
Constructs Copris with the given CSP and solver
Adds a constraint
Adds a constraint
Adds constraints
Adds constraints
Adds a Boolean variable
Adds a Boolean variable
Adds Boolean variables
Adds Boolean variables
CSP to be used
CSP to be used
Finds the first solution
Finds the first solution
Finds the next solution
Finds the next solution
Finds the optimum solution
Finds the optimum solution
Initializes the CSP and solver
Initializes the CSP and solver
Adds an integer variable
Adds an integer variable
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds integer variables
Adds an integer variable
Adds an integer variable
Adds an integer variable
Adds an integer variable
Adds an integer variable
Adds an integer variable
Specifies objective variable to be maximized
Specifies objective variable to be maximized
Specifies objective variable to be minimized
Specifies objective variable to be minimized
Sets the options of the solver
Sets the options of the solver
Checks whether the CSP is satisfied by the solution
Checks whether the CSP is satisfied by the solution
Shows the CSP
Shows the CSP
Shows the current solution
Shows the current solution
Solver to be used
Solver to be used
Starts the timer (experimental)
Starts the timer (experimental)
Returns the status of the solver (experimental)
Returns the status of the solver (experimental)
Stops the timer (experimental)
Stops the timer (experimental)
Implicit conversion from scala Symbol to Var.
Implicit conversion from scala Symbol to Var.
Changes the solver to be used
Changes the solver to be used
Returns the Boolean variable value of the current solution
Returns the Boolean variable value of the current solution
use apply method of Solution instead
Returns the integer variable value of the current solution
Returns the integer variable value of the current solution
use apply method of Solution instead
Returns the Boolean variable values of the current solution
Returns the Boolean variable values of the current solution
use apply method of Solution instead
Returns the integer variable values of the current solution
Returns the integer variable values of the current solution
use apply method of Solution instead
Class for Copris DSL which provides methods for CSP and CSP solver.