org.chocosolver.solver.trace

Class CPProfiler

java.lang.Object

org.chocosolver.solver.trace.SearchViz

org.chocosolver.solver.trace.CPProfiler

All Implemented Interfaces:

Closeable, AutoCloseable, IMonitorContradiction, IMonitorDownBranch, IMonitorRestart, IMonitorSolution, IMonitorUpBranch, ISearchMonitor

public class CPProfiler
extends SearchViz

A search monitor to send data to cp-profiler. It enables to profile and to visualize Constraint Programming. An installation is needed and is described here. This monitor relies on its java integration.

Note that CPProfiler is Closeable and can be used as follow:

 
 Model model = ProblemMaker.makeCostasArrays(7);
  try (CPProfiler profiler = new CPProfiler(model)) {
      while (model.getSolver().solve()) ;
      out.println(model.getSolver().getSolutionCount());
 }
 

Created by cprudhom on 22/10/2015. Project: choco.

Since:

3.3.2

Author:

Charles Prud'homme

Field Summary

Fields inherited from class org.chocosolver.solver.trace.SearchViz

connected, mSolver

Constructor Summary

Constructors

Constructor and Description
CPProfiler(Solver aSolver, boolean sendDomain) Active connection to cp-profiler.

Method Summary

Modifier and Type	Method and Description
protected boolean	connect(String label)
protected void	disconnect()
protected void	sendFailure(int nc, int pid, int alt, int kid, int rid, String label, String info)
protected void	sendNode(int nc, int pid, int alt, int kid, int rid, String label, String info)
protected void	sendRestart(int rid)
protected void	sendSolution(int nc, int pid, int alt, int kid, int rid, String label, String info)

Methods inherited from class org.chocosolver.solver.trace.SearchViz

afterRestart, beforeDownBranch, beforeUpBranch, close, onContradiction, onSolution

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.chocosolver.solver.search.loop.monitors.IMonitorDownBranch

afterDownBranch

Methods inherited from interface org.chocosolver.solver.search.loop.monitors.IMonitorUpBranch

afterUpBranch

Methods inherited from interface org.chocosolver.solver.search.loop.monitors.IMonitorRestart

beforeRestart

Constructor Detail

CPProfiler

public CPProfiler(Solver aSolver,
                  boolean sendDomain)

Active connection to cp-profiler. This requires cp-profiler to be installed and launched before.

Parameters:

aSolver - solver to observe resolution

sendDomain - set to true to send domain into 'info' field (beware, it can increase the memory consumption and slow down the overall execution), set to false otherwise.

Method Detail

connect

protected boolean connect(String label)

Specified by:

connect in class SearchViz

disconnect

protected void disconnect()

Specified by:

disconnect in class SearchViz

sendNode

protected void sendNode(int nc,
                        int pid,
                        int alt,
                        int kid,
                        int rid,
                        String label,
                        String info)

Specified by:

sendNode in class SearchViz

sendSolution

protected void sendSolution(int nc,
                            int pid,
                            int alt,
                            int kid,
                            int rid,
                            String label,
                            String info)

Specified by:

sendSolution in class SearchViz

sendFailure

protected void sendFailure(int nc,
                           int pid,
                           int alt,
                           int kid,
                           int rid,
                           String label,
                           String info)

Specified by:

sendFailure in class SearchViz

sendRestart

protected void sendRestart(int rid)

Specified by:

sendRestart in class SearchViz