Cream version 1.2 Core API Specification

jp.ac.kobe_u.cs.cream
Class ParallelSolver

java.lang.Object
  extended byjp.ac.kobe_u.cs.cream.Solver
      extended byjp.ac.kobe_u.cs.cream.ParallelSolver
All Implemented Interfaces:
java.lang.Runnable, SolutionHandler

public class ParallelSolver
extends Solver
implements SolutionHandler


Field Summary
 
Fields inherited from class jp.ac.kobe_u.cs.cream.Solver
BETTER, DEFAULT, MAXIMIZE, MINIMIZE, NONE
 
Constructor Summary
ParallelSolver(Solver[] solvers)
           
ParallelSolver(Solver[] solvers, java.lang.String name)
           
 
Method Summary
 void run()
          The body of the solver.
 void setMonitor(Monitor monitor)
          Sets the monitor.
 void solved(Solver solver, Solution solution)
          This method is called for each solution and at the end of search (solution is set to null).
 void stop()
          Stops the execution of the solver.
 
Methods inherited from class jp.ac.kobe_u.cs.cream.Solver
clearBest, findAll, findAll, findBest, findBest, findFirst, findFirst, getBestSolution, getBestValue, getID, getOption, getSolution, join, resetIDCounter, resume, start, start, start, start, toString, waitNext, waitNext
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ParallelSolver

public ParallelSolver(Solver[] solvers)

ParallelSolver

public ParallelSolver(Solver[] solvers,
                      java.lang.String name)
Method Detail

setMonitor

public void setMonitor(Monitor monitor)
Description copied from class: Solver
Sets the monitor.

Overrides:
setMonitor in class Solver
Parameters:
monitor - monitor

stop

public void stop()
Description copied from class: Solver
Stops the execution of the solver.

Overrides:
stop in class Solver

solved

public void solved(Solver solver,
                   Solution solution)
Description copied from interface: SolutionHandler
This method is called for each solution and at the end of search (solution is set to null).

Specified by:
solved in interface SolutionHandler
Parameters:
solver - the solver
solution - the solution or null at the end of search

run

public void run()
Description copied from class: Solver
The body of the solver. This method is called from Solver.start() methods.

Specified by:
run in interface java.lang.Runnable
Specified by:
run in class Solver

Cream version 1.2 Core API Specification

Cream: Constraint Programming Class Library for Java