Cream version 1.06 Core API Specification
A B C D E F G I J L M N O P Q R S T U V W Z

A

ABS - Static variable in class jp.ac.kobe_u.cs.cream.IntFunc
Absolute value function
abs() - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to abs(this).
ADD - Static variable in class jp.ac.kobe_u.cs.cream.IntArith
Addition operation
add(IntVariable) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to this + v.
add(int) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to this + value.
add(Solver) - Method in class jp.ac.kobe_u.cs.cream.Monitor
 
addData(Solver, int) - Method in class jp.ac.kobe_u.cs.cream.Monitor
 
addTaboo(Operation) - Method in class jp.ac.kobe_u.cs.cream.TabooSearch
Adds the operation op to the taboo list.
Akari - Class in examples
Akari puzzle by Nikoli http://www.nikoli.co.jp/en/puzzles/akari/
Akari() - Constructor for class examples.Akari
 
allJoin() - Method in class jp.ac.kobe_u.cs.cream.ParallelSolver
 
allStart() - Method in class jp.ac.kobe_u.cs.cream.ParallelSolver
 
applyTo(Network) - Method in class jp.ac.kobe_u.cs.cream.Operation
Applies the operation to the network to change the condition for finding a neighbor solution.
applyTo(Network) - Method in class jp.ac.kobe_u.cs.cream.Serialized.Swap
 

B

BETTER - Static variable in class jp.ac.kobe_u.cs.cream.Solver
An option value specifying to return only better solutions
BISECT - Static variable in class jp.ac.kobe_u.cs.cream.DefaultSolver
An option for choosing the value of the selected variable
botMargin - Variable in class jp.ac.kobe_u.cs.cream.Monitor
 

C

cap(Domain) - Method in class jp.ac.kobe_u.cs.cream.Domain
Returns a new domain of the intersection (optional operation).
cap(Domain) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
 
capInterval(int, int) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Returns a new domain which is the intersection of the curren domain and the interval lo..hi.
clearBest() - Method in class jp.ac.kobe_u.cs.cream.Solver
Clears the best solution this solver has been found.
clearTaboo() - Method in class jp.ac.kobe_u.cs.cream.TabooSearch
Allocates a new taboo list.
clone() - Method in class jp.ac.kobe_u.cs.cream.Code
Returns a copy of this code.
clone() - Method in class jp.ac.kobe_u.cs.cream.Domain
Returns true when the domain is empty.
clone() - Method in class jp.ac.kobe_u.cs.cream.IntDomain
 
clone() - Method in class jp.ac.kobe_u.cs.cream.Network
Returns a copy of this network.
Code - Class in jp.ac.kobe_u.cs.cream
Code is a list of conditions extracted from a currently solved network.
Code(Network) - Constructor for class jp.ac.kobe_u.cs.cream.Code
Constructs a code from the given network.
Condition - Class in jp.ac.kobe_u.cs.cream
Codition abstract class represents a condition of a constraint under the current solution.
Condition() - Constructor for class jp.ac.kobe_u.cs.cream.Condition
 
conditions - Variable in class jp.ac.kobe_u.cs.cream.Code
 
Constraint - Class in jp.ac.kobe_u.cs.cream
An abstract class for constraints.
contains(Object) - Method in class jp.ac.kobe_u.cs.cream.Domain
Returns true when the domain contains the element o.
contains(int) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Returns true when the domain containts elem value.
contains(Object) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
 
copy(Network) - Method in class jp.ac.kobe_u.cs.cream.Constraint
Creates a copy of this constraint for a new network net.
copy(Network) - Method in class jp.ac.kobe_u.cs.cream.Element
 
copy(Network) - Method in class jp.ac.kobe_u.cs.cream.Equals
 
copy(Network) - Method in class jp.ac.kobe_u.cs.cream.IntArith
 
copy(Network) - Method in class jp.ac.kobe_u.cs.cream.IntComparison
 
copy(Network) - Method in class jp.ac.kobe_u.cs.cream.IntFunc
 
copy(Network) - Method in class jp.ac.kobe_u.cs.cream.NotEquals
 
copy(Network) - Method in class jp.ac.kobe_u.cs.cream.Relation
 
copy(Network) - Method in class jp.ac.kobe_u.cs.cream.Sequential
 
copy(Network) - Method in class jp.ac.kobe_u.cs.cream.Serialized
 
cup(Domain) - Method in class jp.ac.kobe_u.cs.cream.Domain
Returns a new domain of the union (optional operation).
cup(Domain) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Not implemented.

D

DEFAULT - Static variable in class jp.ac.kobe_u.cs.cream.Solver
A constant value for the default option
DefaultSolver - Class in jp.ac.kobe_u.cs.cream
A branch-and-bound solver.
DefaultSolver(Network) - Constructor for class jp.ac.kobe_u.cs.cream.DefaultSolver
Constructs a branch-and-bound solver for the given network.
DefaultSolver(Network, int) - Constructor for class jp.ac.kobe_u.cs.cream.DefaultSolver
Constructs a branch-and-bound solver for the given network and options.
DefaultSolver(Network, String) - Constructor for class jp.ac.kobe_u.cs.cream.DefaultSolver
Constructs a branch-and-bound solver for the given network and name.
DefaultSolver(Network, int, String) - Constructor for class jp.ac.kobe_u.cs.cream.DefaultSolver
Constructs a branch-and-bound solver for the given network, options, and name.
delete(Object) - Method in class jp.ac.kobe_u.cs.cream.Domain
Returns a new domain obtained by deleting the element o (optional operation).
delete(int) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Returns a new domain obtained by deleting elem value.
delete(Object) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
 
delete(int, int) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Returns a new domain obtained by deleting the interval lo..hi.
difference(Domain) - Method in class jp.ac.kobe_u.cs.cream.Domain
Returns a new domain of the difference (optional operation).
difference(Domain) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Not implemented.
Domain - Class in jp.ac.kobe_u.cs.cream
Domains.
Domain() - Constructor for class jp.ac.kobe_u.cs.cream.Domain
 

E

element() - Method in class jp.ac.kobe_u.cs.cream.Domain
Returns the only element when the domain is a singleton.
Element - Class in jp.ac.kobe_u.cs.cream
Element constraints.
Element(Network, Variable, Variable, Variable[]) - Constructor for class jp.ac.kobe_u.cs.cream.Element
Adds an element constraint meaning v0 == v[v1] to the network.
element() - Method in class jp.ac.kobe_u.cs.cream.IntDomain
 
elements() - Method in class jp.ac.kobe_u.cs.cream.Domain
Returns the iterator of domain elements.
elements() - Method in class jp.ac.kobe_u.cs.cream.IntDomain
 
EMPTY - Static variable in class jp.ac.kobe_u.cs.cream.IntDomain
Empty integer domain
endSearch() - Method in class jp.ac.kobe_u.cs.cream.LocalSearch
End of the iteration.
ENUM - Static variable in class jp.ac.kobe_u.cs.cream.DefaultSolver
An option for choosing the value of the selected variable
equals(Domain) - Method in class jp.ac.kobe_u.cs.cream.Domain
Returns true when the domain is equal to another domain d.
Equals - Class in jp.ac.kobe_u.cs.cream
Equals constraint.
Equals(Network, Variable, Variable) - Constructor for class jp.ac.kobe_u.cs.cream.Equals
Adds the constraint of v0 == v1 for two variables to the constraint network net.
Equals(Network, Variable[]) - Constructor for class jp.ac.kobe_u.cs.cream.Equals
Adds the constraint of v[i] == v[j] for each pair of variables in v to the constraint network net.
equals(Domain) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
 
equals(IntVariable) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Adds a new constraint this == v.
equals(int) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Adds a new constraint this == value.
examples - package examples
 
Examples - Class in examples
Various example programs.
Examples() - Constructor for class examples.Examples
 

F

Family - Class in examples
Example obtained from "Finite Domain Constraint Programming in Oz" Maria and Clara are both heads of households, and both families have three boys and three girls.
Family() - Constructor for class examples.Family
 
findAll(SolutionHandler) - Method in class jp.ac.kobe_u.cs.cream.Solver
Invokes the handler for each solution.
findAll(SolutionHandler, long) - Method in class jp.ac.kobe_u.cs.cream.Solver
Invokes the handler for each solution with the timeout.
findBest() - Method in class jp.ac.kobe_u.cs.cream.Solver
Finds the best solution.
findBest(long) - Method in class jp.ac.kobe_u.cs.cream.Solver
Finds the best solution with the timeout.
findFirst() - Method in class jp.ac.kobe_u.cs.cream.Solver
Finds the first solution.
findFirst(long) - Method in class jp.ac.kobe_u.cs.cream.Solver
Finds the first solution with the timeout.
FirstStep - Class in examples
First step example.
FirstStep() - Constructor for class examples.FirstStep
 
FourColor - Class in examples
Four color problem.
FourColor(int[][]) - Constructor for class examples.FourColor
 
FT06 - Class in examples
Job-shop scheduling benchmark problem of FT06.
FT06() - Constructor for class examples.FT06
 
FULL - Static variable in class jp.ac.kobe_u.cs.cream.IntDomain
Full integer domain MIN_VALUE..MAX_VALUE.

G

GE - Static variable in class jp.ac.kobe_u.cs.cream.IntComparison
Greater-than-or-equal comparison
ge(IntVariable) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Adds a new constraint this >= v.
ge(int) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Adds a new constraint this >= value.
getBestSolution() - Method in class jp.ac.kobe_u.cs.cream.Solver
Returns the best solution this solver has been found.
getBestValue() - Method in class jp.ac.kobe_u.cs.cream.Solver
Returns the best objective value this solver has been found.
getCandidate() - Method in class jp.ac.kobe_u.cs.cream.LocalSearch
Returns the candidate solution for the next iteration.
getChoice() - Method in class jp.ac.kobe_u.cs.cream.DefaultSolver
Returns the option for choosing variable value.
getClearRate() - Method in class jp.ac.kobe_u.cs.cream.IBBSearch
Returns the clear rate.
getCode() - Method in class jp.ac.kobe_u.cs.cream.Solution
Returns the code of the solution.
getColors() - Method in class jp.ac.kobe_u.cs.cream.Monitor
Returns the plot colors.
getConstraint(int) - Method in class jp.ac.kobe_u.cs.cream.Network
Returns the i-th constraint of this network.
getConstraints() - Method in class jp.ac.kobe_u.cs.cream.Network
Returns the list of constraints of this network.
getCount() - Method in class jp.ac.kobe_u.cs.cream.Solver
Returns the number of solutions.
getDomain(Variable) - Method in class jp.ac.kobe_u.cs.cream.Solution
Returns the domain of the given variable in the solution.
getDomain() - Method in class jp.ac.kobe_u.cs.cream.Variable
Returns the domain of the variable.
getElapsedTime() - Method in class jp.ac.kobe_u.cs.cream.Solver
Returns the elapsed time in milli seconds.
getExchangeRate() - Method in class jp.ac.kobe_u.cs.cream.LocalSearch
Returns the solution exchange rate for ParallelSolver.
getGamma() - Method in class jp.ac.kobe_u.cs.cream.SASearch
Returns the cooling parameter value gamma.
getID() - Method in class jp.ac.kobe_u.cs.cream.Solver
Returns the ID number of this solver.
getIndex() - Method in class jp.ac.kobe_u.cs.cream.Constraint
Returns the index of the constraint in the network.
getIndex() - Method in class jp.ac.kobe_u.cs.cream.Variable
Returns the index of the variable in the network.
getIntValue(Variable) - Method in class jp.ac.kobe_u.cs.cream.Solution
Returns the integer value of the given variable in the solution.
getIterations() - Method in class jp.ac.kobe_u.cs.cream.LocalSearch
Returns the iterations count.
getMonitor() - Method in class jp.ac.kobe_u.cs.cream.Solver
Gets the monitor.
getName() - Method in class jp.ac.kobe_u.cs.cream.Variable
Returns the name of this variable.
getNetwork() - Method in class jp.ac.kobe_u.cs.cream.Constraint
Returns the constraint network.
getNetwork() - Method in class jp.ac.kobe_u.cs.cream.Variable
Returns the constraint network.
getObjective() - Method in class jp.ac.kobe_u.cs.cream.Network
Returns the objective variable of this network.
getObjectiveIntValue() - Method in class jp.ac.kobe_u.cs.cream.Solution
Returns the integer value of the objective variable in the solution.
getOption() - Method in class jp.ac.kobe_u.cs.cream.Solver
Returns the option value.
getSolution() - Method in class jp.ac.kobe_u.cs.cream.Solver
Returns the last solution this solver is found.
getSolvers() - Method in class jp.ac.kobe_u.cs.cream.ParallelSolver
Returns the sub-solvers.
getTemperature() - Method in class jp.ac.kobe_u.cs.cream.SASearch
Returns the temperature.
getTrail() - Method in class jp.ac.kobe_u.cs.cream.DefaultSolver
Returns the trail stack.
getVariable(int) - Method in class jp.ac.kobe_u.cs.cream.Network
Returns the i-th variable of this network.
getVariables() - Method in class jp.ac.kobe_u.cs.cream.Network
Returns the list of variables of this network.
Golomb - Class in examples
Golomb ruler.
Golomb() - Constructor for class examples.Golomb
 
GT - Static variable in class jp.ac.kobe_u.cs.cream.IntComparison
Greater-than comparison
gt(IntVariable) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Adds a new constraint this > v.
gt(int) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Adds a new constraint this > value.

I

IBBSearch - Class in jp.ac.kobe_u.cs.cream
Iterativ Branch-and-Bound Search.
IBBSearch(Network) - Constructor for class jp.ac.kobe_u.cs.cream.IBBSearch
 
IBBSearch(Network, int) - Constructor for class jp.ac.kobe_u.cs.cream.IBBSearch
 
IBBSearch(Network, String) - Constructor for class jp.ac.kobe_u.cs.cream.IBBSearch
 
IBBSearch(Network, int, String) - Constructor for class jp.ac.kobe_u.cs.cream.IBBSearch
 
init() - Method in class jp.ac.kobe_u.cs.cream.Monitor
 
initialTimeout - Variable in class jp.ac.kobe_u.cs.cream.LocalSearch
Timeout in milli seconds to find an initial solution for the local search.
insert(Object) - Method in class jp.ac.kobe_u.cs.cream.Domain
Returns a new domain obtained by adding o as a new element (optional operation).
insert(Object) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Not implemented.
IntArith - Class in jp.ac.kobe_u.cs.cream
IntArith constraint implements arithmetic binary operations on integers.
IntArith(Network, int, Variable, Variable, Variable) - Constructor for class jp.ac.kobe_u.cs.cream.IntArith
Adds the constraint of v0 == v1 op v2 to the constraint network net.
IntArith(Network, int, Variable, Variable, int) - Constructor for class jp.ac.kobe_u.cs.cream.IntArith
 
IntArith(Network, int, Variable, int, Variable) - Constructor for class jp.ac.kobe_u.cs.cream.IntArith
 
IntArith(Network, int, int, Variable, Variable) - Constructor for class jp.ac.kobe_u.cs.cream.IntArith
 
IntComparison - Class in jp.ac.kobe_u.cs.cream
IntComparison constraint implements comparison relations on integers.
IntComparison(Network, int, Variable, Variable) - Constructor for class jp.ac.kobe_u.cs.cream.IntComparison
Adds the constraint of v0 comp v1 to the constraint network net.
IntComparison(Network, int, Variable, int) - Constructor for class jp.ac.kobe_u.cs.cream.IntComparison
 
IntComparison(Network, int, int, Variable) - Constructor for class jp.ac.kobe_u.cs.cream.IntComparison
 
IntDomain - Class in jp.ac.kobe_u.cs.cream
IntDomain class represents domains on integers.
IntDomain() - Constructor for class jp.ac.kobe_u.cs.cream.IntDomain
Constructs the empty integer domain.
IntDomain(int) - Constructor for class jp.ac.kobe_u.cs.cream.IntDomain
Constructs a singleton integer domain.
IntDomain(int, int) - Constructor for class jp.ac.kobe_u.cs.cream.IntDomain
Constructs an integer domain of min..max.
IntFunc - Class in jp.ac.kobe_u.cs.cream
IntFunc constraint implements arithmetic unary function on integers.
IntFunc(Network, int, Variable, Variable) - Constructor for class jp.ac.kobe_u.cs.cream.IntFunc
Adds the constraint of v0 == f(v1) to the constraint network net.
IntFunc(Network, int, Variable, int) - Constructor for class jp.ac.kobe_u.cs.cream.IntFunc
 
IntFunc(Network, int, int, Variable) - Constructor for class jp.ac.kobe_u.cs.cream.IntFunc
 
IntVariable - Class in jp.ac.kobe_u.cs.cream
Integer variables.
IntVariable(Network) - Constructor for class jp.ac.kobe_u.cs.cream.IntVariable
Constructs an integer variable with full domain and a default name.
IntVariable(Network, String) - Constructor for class jp.ac.kobe_u.cs.cream.IntVariable
Constructs an integer variable with full domain and the given name.
IntVariable(Network, IntDomain) - Constructor for class jp.ac.kobe_u.cs.cream.IntVariable
Constructs an integer variable of the network with an initial integer domain d and a default name.
IntVariable(Network, IntDomain, String) - Constructor for class jp.ac.kobe_u.cs.cream.IntVariable
Constructs an integer variable of the network with an initial integer domain d and a name specified by the parameter name.
IntVariable(Network, int) - Constructor for class jp.ac.kobe_u.cs.cream.IntVariable
Constructs an integer variable of a singleton domain and a default name.
IntVariable(Network, int, String) - Constructor for class jp.ac.kobe_u.cs.cream.IntVariable
Constructs an integer variable of a singleton domain and the given name.
IntVariable(Network, int, int) - Constructor for class jp.ac.kobe_u.cs.cream.IntVariable
Constructs an integer variable of the interval lo..hi and a default name.
IntVariable(Network, int, int, String) - Constructor for class jp.ac.kobe_u.cs.cream.IntVariable
Constructs an integer variable of the interval lo..hi and the given name.
isAborted() - Method in class jp.ac.kobe_u.cs.cream.Solver
Returns true if the solver is stopped
isEmpty() - Method in class jp.ac.kobe_u.cs.cream.Domain
Returns true when the domain is empty.
isModified() - Method in class jp.ac.kobe_u.cs.cream.Constraint
Returns true when some argument variable is modified.
isModified() - Method in class jp.ac.kobe_u.cs.cream.Element
 
isModified() - Method in class jp.ac.kobe_u.cs.cream.Equals
 
isModified() - Method in class jp.ac.kobe_u.cs.cream.IntArith
 
isModified() - Method in class jp.ac.kobe_u.cs.cream.IntComparison
 
isModified() - Method in class jp.ac.kobe_u.cs.cream.IntFunc
 
isModified() - Method in class jp.ac.kobe_u.cs.cream.NotEquals
 
isModified() - Method in class jp.ac.kobe_u.cs.cream.Relation
 
isModified() - Method in class jp.ac.kobe_u.cs.cream.Sequential
 
isModified() - Method in class jp.ac.kobe_u.cs.cream.Serialized
 
isModified() - Method in class jp.ac.kobe_u.cs.cream.Variable
Returns the modified flag.
isTaboo(Operation) - Method in class jp.ac.kobe_u.cs.cream.Operation
Returns true when op is a taboo operation relative to this operation (for example, op is the same operation with this operation).
isTaboo(Operation) - Method in class jp.ac.kobe_u.cs.cream.Serialized.Swap
 
isTaboo(Operation) - Method in class jp.ac.kobe_u.cs.cream.TabooSearch
Returns true when the operation op is a taboo.
isWatch() - Method in class jp.ac.kobe_u.cs.cream.Variable
Returns the watch flag.
iterationTimeout - Variable in class jp.ac.kobe_u.cs.cream.LocalSearch
Timeout in milli seconds to find the next solution in the iteration.

J

JavaCreamSolver - Class in examples
Cryptarithmetic puzzle.
JavaCreamSolver() - Constructor for class examples.JavaCreamSolver
 
join() - Method in class jp.ac.kobe_u.cs.cream.Solver
Waits until the solver ends the execution.
jp.ac.kobe_u.cs.cream - package jp.ac.kobe_u.cs.cream
 
JSSP - Class in examples
Job-shop scheduling benchmark problems.
JSSP() - Constructor for class examples.JSSP
 

L

LE - Static variable in class jp.ac.kobe_u.cs.cream.IntComparison
Less-than-or-equal comparison
le(IntVariable) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Adds a new constraint this <= v.
le(int) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Adds a new constraint this <= value.
leftMargin - Variable in class jp.ac.kobe_u.cs.cream.Monitor
 
LocalSearch - Class in jp.ac.kobe_u.cs.cream
A super class of local search solvers, and also an implementation of a random walk solver.
LocalSearch(Network) - Constructor for class jp.ac.kobe_u.cs.cream.LocalSearch
Constructs a random-walk solver for the given network.
LocalSearch(Network, int) - Constructor for class jp.ac.kobe_u.cs.cream.LocalSearch
Constructs a random-walk solver for the given network and option.
LocalSearch(Network, String) - Constructor for class jp.ac.kobe_u.cs.cream.LocalSearch
Constructs a random-walk solver for the given network and name.
LocalSearch(Network, int, String) - Constructor for class jp.ac.kobe_u.cs.cream.LocalSearch
Constructs a random-walk solver for the given network, option, and name.
LT - Static variable in class jp.ac.kobe_u.cs.cream.IntComparison
Less-than comparison
lt(IntVariable) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Adds a new constraint this < v.
lt(int) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Adds a new constraint this < value.

M

Magic - Class in examples
Magic squares.
Magic() - Constructor for class examples.Magic
 
magic(int) - Static method in class examples.Magic
 
Magic3 - Class in examples
Magic squares of 3*3.
Magic3() - Constructor for class examples.Magic3
 
main(String[]) - Static method in class examples.Akari
 
main(String[]) - Static method in class examples.Examples
 
main(String[]) - Static method in class examples.Family
 
main(String[]) - Static method in class examples.FirstStep
 
main(String[]) - Static method in class examples.FourColor
 
main(String[]) - Static method in class examples.FT06
 
main(String[]) - Static method in class examples.Golomb
 
main(String[]) - Static method in class examples.JavaCreamSolver
 
main(String[]) - Static method in class examples.JSSP
 
main(String[]) - Static method in class examples.Magic
 
main(String[]) - Static method in class examples.Magic3
 
main(String[]) - Static method in class examples.PP
 
main(String[]) - Static method in class examples.Queens
 
main(String[]) - Static method in class examples.Sudoku
 
main(String[]) - Static method in class examples.Zebra
 
MAX - Static variable in class jp.ac.kobe_u.cs.cream.IntArith
Max operation
max() - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Returns the current maximum value of the domain.
max(IntVariable) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to max(this, v).
max(int) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to max(this, value).
MAX_VALUE - Static variable in class jp.ac.kobe_u.cs.cream.IntDomain
Maximum integer value (231-1)
MAXIMIZE - Static variable in class jp.ac.kobe_u.cs.cream.Solver
An option value specifying to maximize the objective variable
MIN - Static variable in class jp.ac.kobe_u.cs.cream.IntArith
Min operation
min() - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Returns the current minimum value of the domain.
min(IntVariable) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to min(this, v).
min(int) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to min(this, value).
MIN_VALUE - Static variable in class jp.ac.kobe_u.cs.cream.IntDomain
Minimum integer value (-231+1)
MINIMIZE - Static variable in class jp.ac.kobe_u.cs.cream.Solver
An option value specifying to minimize the objective variable
Monitor - Class in jp.ac.kobe_u.cs.cream
Monitor class.
Monitor() - Constructor for class jp.ac.kobe_u.cs.cream.Monitor
 
MULTIPLY - Static variable in class jp.ac.kobe_u.cs.cream.IntArith
Multiplication operation
multiply(IntVariable) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to this * v.
multiply(int) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to this * value.

N

NEGATE - Static variable in class jp.ac.kobe_u.cs.cream.IntFunc
Negation function
negate() - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to -this.
NeighborhoodSearchSolver - Class in jp.ac.kobe_u.cs.cream
A branch-and-bound solver with preset values.
NeighborhoodSearchSolver(Network, int[]) - Constructor for class jp.ac.kobe_u.cs.cream.NeighborhoodSearchSolver
 
NeighborhoodSearchSolver(Network, int[], int) - Constructor for class jp.ac.kobe_u.cs.cream.NeighborhoodSearchSolver
 
NeighborhoodSearchSolver(Network, int[], String) - Constructor for class jp.ac.kobe_u.cs.cream.NeighborhoodSearchSolver
 
NeighborhoodSearchSolver(Network, int[], int, String) - Constructor for class jp.ac.kobe_u.cs.cream.NeighborhoodSearchSolver
 
Network - Class in jp.ac.kobe_u.cs.cream
Constraint networks.
Network() - Constructor for class jp.ac.kobe_u.cs.cream.Network
Constructs an empty constraint network.
nextSearch() - Method in class jp.ac.kobe_u.cs.cream.IBBSearch
 
nextSearch() - Method in class jp.ac.kobe_u.cs.cream.LocalSearch
Finds the next solution.
nextSearch() - Method in class jp.ac.kobe_u.cs.cream.SASearch
 
nextSearch() - Method in class jp.ac.kobe_u.cs.cream.TabooSearch
 
NONE - Static variable in class jp.ac.kobe_u.cs.cream.Solver
A constant value for no options
notEquals(IntVariable) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Adds a new constraint this != v.
notEquals(int) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Adds a new constraint this != value.
NotEquals - Class in jp.ac.kobe_u.cs.cream
NotEquals constraint.
NotEquals(Network, Variable, Variable) - Constructor for class jp.ac.kobe_u.cs.cream.NotEquals
Adds the constraint of v0 != v1 for two variables to the constraint network net.
NotEquals(Network, Variable[]) - Constructor for class jp.ac.kobe_u.cs.cream.NotEquals
Adds the constraint of v[i] != v[j] for each pair of variables in v to the constraint network net.

O

Operation - Class in jp.ac.kobe_u.cs.cream
Operations.
Operation() - Constructor for class jp.ac.kobe_u.cs.cream.Operation
 
operations() - Method in class jp.ac.kobe_u.cs.cream.Code
Returns possible operations applicable to the code.
operations() - Method in class jp.ac.kobe_u.cs.cream.Condition
Returns a list of operations applicable to the condition.
operations() - Method in class jp.ac.kobe_u.cs.cream.Serialized.SerializedCondition
 

P

paint(Graphics) - Method in class examples.FourColor
 
paint(Graphics) - Method in class jp.ac.kobe_u.cs.cream.Monitor
 
ParallelSolver - Class in jp.ac.kobe_u.cs.cream
Parallel solver.
ParallelSolver(Solver[]) - Constructor for class jp.ac.kobe_u.cs.cream.ParallelSolver
 
ParallelSolver(Solver[], String) - Constructor for class jp.ac.kobe_u.cs.cream.ParallelSolver
 
PP - Class in examples
Production planning.
PP() - Constructor for class examples.PP
 
push(Variable) - Method in class jp.ac.kobe_u.cs.cream.Trail
Pushes a pair of the variable v and its domain to the trail stack.

Q

Queens - Class in examples
N-Queens problem
Queens() - Constructor for class examples.Queens
 

R

RANDOM - Static variable in class jp.ac.kobe_u.cs.cream.DefaultSolver
An option for choosing a random value of the selected variable
randomElement() - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Returns a randomly selected element value.
Relation - Class in jp.ac.kobe_u.cs.cream
Relation constraints.
Relation(Network, Variable, boolean[][], Variable) - Constructor for class jp.ac.kobe_u.cs.cream.Relation
Adds a constraint meaning rel[v0][v1] to the network.
remove(int) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Removes elem from the domain.
remove(Object) - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Removes o from the domain.
resetIDCounter() - Static method in class jp.ac.kobe_u.cs.cream.Solver
Resets the ID counter to be 0.
resume() - Method in class jp.ac.kobe_u.cs.cream.Solver
Resumes the execution of the solver.
rightMargin - Variable in class jp.ac.kobe_u.cs.cream.Monitor
 
run() - Method in class jp.ac.kobe_u.cs.cream.DefaultSolver
 
run() - Method in class jp.ac.kobe_u.cs.cream.LocalSearch
 
run() - Method in class jp.ac.kobe_u.cs.cream.NeighborhoodSearchSolver
 
run() - Method in class jp.ac.kobe_u.cs.cream.ParallelSolver
 
run() - Method in class jp.ac.kobe_u.cs.cream.Solver
The body of the solver.

S

SASearch - Class in jp.ac.kobe_u.cs.cream
Simulated Annealing Search.
SASearch(Network) - Constructor for class jp.ac.kobe_u.cs.cream.SASearch
 
SASearch(Network, int) - Constructor for class jp.ac.kobe_u.cs.cream.SASearch
 
SASearch(Network, String) - Constructor for class jp.ac.kobe_u.cs.cream.SASearch
 
SASearch(Network, int, String) - Constructor for class jp.ac.kobe_u.cs.cream.SASearch
 
satisfy(Trail) - Method in class jp.ac.kobe_u.cs.cream.Constraint
Performs consistency algorithm.
satisfy() - Method in class jp.ac.kobe_u.cs.cream.DefaultSolver
Performs the consistency algorithm until no variables are changed.
satisfy(Trail) - Method in class jp.ac.kobe_u.cs.cream.Element
 
satisfy(Trail) - Method in class jp.ac.kobe_u.cs.cream.Equals
 
satisfy(Trail) - Method in class jp.ac.kobe_u.cs.cream.IntArith
 
satisfy(Trail) - Method in class jp.ac.kobe_u.cs.cream.IntComparison
 
satisfy(Trail) - Method in class jp.ac.kobe_u.cs.cream.IntFunc
 
satisfy(Trail) - Method in class jp.ac.kobe_u.cs.cream.NotEquals
 
satisfy(Trail) - Method in class jp.ac.kobe_u.cs.cream.Relation
 
satisfy(Trail) - Method in class jp.ac.kobe_u.cs.cream.Sequential
 
satisfy(Trail) - Method in class jp.ac.kobe_u.cs.cream.Serialized
 
selectVariable() - Method in class jp.ac.kobe_u.cs.cream.DefaultSolver
Selects a decision variable.
Sequential - Class in jp.ac.kobe_u.cs.cream
Sequential constraints constructed from an array of n integer variables (v[0], ..., v[n-1]) and an array of n positive integer constants (a[0], ..., a[n-1]).
Sequential(Network, Variable[], int[]) - Constructor for class jp.ac.kobe_u.cs.cream.Sequential
Adds a sequential constraint to the network.
Serialized - Class in jp.ac.kobe_u.cs.cream
Serialized constraints constructed from an array of n integer variables (v[0], ..., v[n-1]) and an array of n positive integer constants (a[0], ..., a[n-1]).
Serialized(Network, Variable[], int[]) - Constructor for class jp.ac.kobe_u.cs.cream.Serialized
Adds a serialized constraint to the network.
Serialized.SerializedCondition - Class in jp.ac.kobe_u.cs.cream
This class represents a condition on which the order of variables are chosen for this serialized constraint in the solution.
Serialized.SerializedCondition() - Constructor for class jp.ac.kobe_u.cs.cream.Serialized.SerializedCondition
Constructs a condition for the serialized constraint under the current solution by extracting the order of variables.
Serialized.Swap - Class in jp.ac.kobe_u.cs.cream
This class represents an operation of swapping an order of two variables.
Serialized.Swap(int, int, int) - Constructor for class jp.ac.kobe_u.cs.cream.Serialized.Swap
Constructs the swap operation exchanging the order of two variables v[i] and v[j].
setCandidate(Solution) - Method in class jp.ac.kobe_u.cs.cream.LocalSearch
Sets a candidate solution for the next iteration.
setChoice(int) - Method in class jp.ac.kobe_u.cs.cream.DefaultSolver
Sets the option for choosing variable value.
setClearRate(double) - Method in class jp.ac.kobe_u.cs.cream.IBBSearch
Sets the clear rate.
setColors(Color[]) - Method in class jp.ac.kobe_u.cs.cream.Monitor
Sets the plot colors.
setDomain(Domain) - Method in class jp.ac.kobe_u.cs.cream.Variable
Sets the domain of the variables.
setExchangeRate(double) - Method in class jp.ac.kobe_u.cs.cream.LocalSearch
Sets the solution exchange rate used for ParallelSolver.
setGamma(double) - Method in class jp.ac.kobe_u.cs.cream.SASearch
Sets the cooling parameter value gamma.
setIndex(int) - Method in class jp.ac.kobe_u.cs.cream.Constraint
Sets the index of the constraint in the network.
setIndex(int) - Method in class jp.ac.kobe_u.cs.cream.Variable
Sets the index of the variable in the network.
setModified(boolean) - Method in class jp.ac.kobe_u.cs.cream.Variable
Sets the modified flag.
setMonitor(Monitor) - Method in class jp.ac.kobe_u.cs.cream.ParallelSolver
 
setMonitor(Monitor) - Method in class jp.ac.kobe_u.cs.cream.Solver
Sets the monitor.
setName(String) - Method in class jp.ac.kobe_u.cs.cream.Variable
Sets the name of this variable.
setObjective(Variable) - Method in class jp.ac.kobe_u.cs.cream.Network
Sets the objective variable of this network.
setTemperature(double) - Method in class jp.ac.kobe_u.cs.cream.SASearch
Sets the temperature.
setTo(Network) - Method in class jp.ac.kobe_u.cs.cream.Code
Sets the conditions of this code to the network.
setTo(Network) - Method in class jp.ac.kobe_u.cs.cream.Condition
Sets the condition to the network.
setTo(Network) - Method in class jp.ac.kobe_u.cs.cream.Serialized.SerializedCondition
 
setWatch(boolean) - Method in class jp.ac.kobe_u.cs.cream.Variable
Sets the watch flag.
setX(int, int) - Method in class jp.ac.kobe_u.cs.cream.Monitor
 
SIGN - Static variable in class jp.ac.kobe_u.cs.cream.IntFunc
Sign function
sign() - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to sign(this).
size() - Method in class jp.ac.kobe_u.cs.cream.Domain
Returns the size of the domain.
size() - Method in class jp.ac.kobe_u.cs.cream.Trail
Returns the size of the trail stack.
Solution - Class in jp.ac.kobe_u.cs.cream
Solutions.
Solution(Network) - Constructor for class jp.ac.kobe_u.cs.cream.Solution
Constructs a solution from the given network.
SolutionHandler - Interface in jp.ac.kobe_u.cs.cream
An interface for solution handlers.
solve() - Static method in class examples.Family
 
solved(Solver, Solution) - Method in class jp.ac.kobe_u.cs.cream.ParallelSolver
 
solved(Solver, Solution) - Method in interface jp.ac.kobe_u.cs.cream.SolutionHandler
This method is called for each solution and at the end of search (solution is set to null).
solver - Variable in class jp.ac.kobe_u.cs.cream.LocalSearch
Sub-solver used to find the initial solution and the next solution.
Solver - Class in jp.ac.kobe_u.cs.cream
An abstract class for constraint solvers.
Solver(Network) - Constructor for class jp.ac.kobe_u.cs.cream.Solver
Constructs a solver for the given network (for invocation by subclass constructors).
Solver(Network, int) - Constructor for class jp.ac.kobe_u.cs.cream.Solver
Constructs a solver for the given network and option (for invocation by subclass constructors).
Solver(Network, String) - Constructor for class jp.ac.kobe_u.cs.cream.Solver
Constructs a solver for the given network and name (for invocation by subclass constructors).
Solver(Network, int, String) - Constructor for class jp.ac.kobe_u.cs.cream.Solver
Constructs a solver for the given network, option, and name (for invocation by subclass constructors).
start() - Method in class jp.ac.kobe_u.cs.cream.Solver
Starts the solver in a new thread, and immediately returns to the caller.
start(long) - Method in class jp.ac.kobe_u.cs.cream.Solver
Starts the solver in a new thread with the timeout, and immediately returns to the caller.
start(SolutionHandler) - Method in class jp.ac.kobe_u.cs.cream.Solver
Starts the solver in a new thread, and immediately returns to the caller.
start(SolutionHandler, long) - Method in class jp.ac.kobe_u.cs.cream.Solver
Starts the solver in a new thread with the timeout, and immediately returns to the caller.
startSearch() - Method in class jp.ac.kobe_u.cs.cream.IBBSearch
 
startSearch() - Method in class jp.ac.kobe_u.cs.cream.LocalSearch
Finds the initial solution.
startSearch() - Method in class jp.ac.kobe_u.cs.cream.SASearch
 
startSearch() - Method in class jp.ac.kobe_u.cs.cream.TabooSearch
 
STEP - Static variable in class jp.ac.kobe_u.cs.cream.DefaultSolver
An option for choosing the value of the selected variable
stop() - Method in class jp.ac.kobe_u.cs.cream.LocalSearch
 
stop() - Method in class jp.ac.kobe_u.cs.cream.ParallelSolver
 
stop() - Method in class jp.ac.kobe_u.cs.cream.Solver
Stops the execution of the solver.
SUBTRACT - Static variable in class jp.ac.kobe_u.cs.cream.IntArith
Subtraction operation
subtract(IntVariable) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to this - v.
subtract(int) - Method in class jp.ac.kobe_u.cs.cream.IntVariable
Returns a new integer variable which is equal to this - value.
Sudoku - Class in examples
Sudoku puzzle.
Sudoku() - Constructor for class examples.Sudoku
 
sudoku(int[][]) - Static method in class examples.Sudoku
 

T

tabooLength - Variable in class jp.ac.kobe_u.cs.cream.TabooSearch
The length of the taboo list.
TabooSearch - Class in jp.ac.kobe_u.cs.cream
Taboo Search.
TabooSearch(Network) - Constructor for class jp.ac.kobe_u.cs.cream.TabooSearch
 
TabooSearch(Network, int) - Constructor for class jp.ac.kobe_u.cs.cream.TabooSearch
 
TabooSearch(Network, String) - Constructor for class jp.ac.kobe_u.cs.cream.TabooSearch
 
TabooSearch(Network, int, String) - Constructor for class jp.ac.kobe_u.cs.cream.TabooSearch
 
topMargin - Variable in class jp.ac.kobe_u.cs.cream.Monitor
 
toString() - Method in class jp.ac.kobe_u.cs.cream.Constraint
Returns the string representation of the constraint.
toString() - Method in class jp.ac.kobe_u.cs.cream.Element
 
toString() - Method in class jp.ac.kobe_u.cs.cream.Equals
 
toString() - Method in class jp.ac.kobe_u.cs.cream.IntArith
 
toString() - Method in class jp.ac.kobe_u.cs.cream.IntComparison
 
toString() - Method in class jp.ac.kobe_u.cs.cream.IntDomain
 
toString() - Method in class jp.ac.kobe_u.cs.cream.IntFunc
 
toString() - Method in class jp.ac.kobe_u.cs.cream.Network
Returns a readable string representation of this network.
toString() - Method in class jp.ac.kobe_u.cs.cream.NotEquals
 
toString() - Method in class jp.ac.kobe_u.cs.cream.Relation
 
toString() - Method in class jp.ac.kobe_u.cs.cream.Sequential
 
toString() - Method in class jp.ac.kobe_u.cs.cream.Serialized
 
toString() - Method in class jp.ac.kobe_u.cs.cream.Solution
Returns a readable string representation of this solution.
toString() - Method in class jp.ac.kobe_u.cs.cream.Solver
Returns the name of this solver.
toString() - Method in class jp.ac.kobe_u.cs.cream.Variable
Returns the name of this variable.
Trail - Class in jp.ac.kobe_u.cs.cream
Trail class implements trail stacks.
Trail() - Constructor for class jp.ac.kobe_u.cs.cream.Trail
 

U

undo(int) - Method in class jp.ac.kobe_u.cs.cream.Trail
Undoes the previous assignments by popping the variable-domain pair from the trail until the size becomes size0.
update(Graphics) - Method in class jp.ac.kobe_u.cs.cream.Monitor
 
updateDomain(Domain, Trail) - Method in class jp.ac.kobe_u.cs.cream.Variable
Updates the domain of the variables.

V

value() - Method in class jp.ac.kobe_u.cs.cream.IntDomain
Returns the current only value when the domain is a singleton.
Variable - Class in jp.ac.kobe_u.cs.cream
Variables.
Variable(Network, Domain) - Constructor for class jp.ac.kobe_u.cs.cream.Variable
Constructs a variable of the network with an initial domain d and a default name.
Variable(Network, Domain, String) - Constructor for class jp.ac.kobe_u.cs.cream.Variable
Constructs a variable of the network with an initial domain d and a name specified by the parameter name.

W

waitNext() - Method in class jp.ac.kobe_u.cs.cream.Solver
Waits for the next solution, or the end of the solver execution.
waitNext(long) - Method in class jp.ac.kobe_u.cs.cream.Solver
Waits for the next solution, or the end of the solver execution with the timeout.

Z

Zebra - Class in examples
 
Zebra() - Constructor for class examples.Zebra
 

A B C D E F G I J L M N O P Q R S T U V W Z
Cream version 1.06 Core API Specification

Cream: Constraint Programming Class Library for Java