org.jacop.search.restart

Class CustomReport

java.lang.Object

org.jacop.search.restart.CustomReport

public class CustomReport
extends Object

Print-outs all variables defined in the constructor when restart search finds a solution.

Version:

4.9

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Constructor Summary

Constructors

Constructor and Description
CustomReport()
CustomReport(Var[] vs)

Method Summary

Modifier and Type	Method and Description
void	addVariables(Var[] vs)
void	report()

Methods inherited from class java.lang.Object

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

Constructor Detail

CustomReport

public CustomReport(Var[] vs)

CustomReport

public CustomReport()

Method Detail

addVariables

public void addVariables(Var[] vs)

report

public void report()